%0 Conference Paper %1 conf/ucami/NgankamPFOG17 %A Ngankam, Hubert Kenfack %A Pigot, Hélène %A Frappier, Marc %A Oliveira, Camila Helena Souza %A Giroux, Sylvain %B UCAmI %D 2017 %E Ochoa, Sergio F. %E Singh, Pritpal %E Bravo, José %I Springer %K dblp %P 508-519 %T Formal Specification for Ambient Assisted Living Scenarios. %U http://dblp.uni-trier.de/db/conf/ucami/ucami2017.html#NgankamPFOG17 %V 10586 %@ 978-3-319-67585-5

@inproceedings{conf/ucami/NgankamPFOG17, added-at = {2020-10-25T00:00:00.000+0200}, author = {Ngankam, Hubert Kenfack and Pigot, Hélène and Frappier, Marc and Oliveira, Camila Helena Souza and Giroux, Sylvain}, biburl = {https://www.bibsonomy.org/bibtex/295a9bef85145bca39fc81a2939043d56/dblp}, booktitle = {UCAmI}, crossref = {conf/ucami/2017}, editor = {Ochoa, Sergio F. and Singh, Pritpal and Bravo, José}, ee = {https://doi.org/10.1007/978-3-319-67585-5_51}, interhash = {47f365f4d1bedc06c7a444ada14f87e6}, intrahash = {95a9bef85145bca39fc81a2939043d56}, isbn = {978-3-319-67585-5}, keywords = {dblp}, pages = {508-519}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:56:06.000+0200}, title = {Formal Specification for Ambient Assisted Living Scenarios.}, url = {http://dblp.uni-trier.de/db/conf/ucami/ucami2017.html#NgankamPFOG17}, volume = 10586, year = 2017 }