%0 Conference Paper %1 conf/icfem/FoughaliBDIM16 %A Foughali, Mohammed %A Berthomieu, Bernard %A Dal-Zilio, Silvano %A Ingrand, Félix %A Mallet, Anthony %B ICFEM %D 2016 %E Ogata, Kazuhiro %E Lawford, Mark %E Liu, Shaoying %K dblp %P 383-399 %T Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2016.html#FoughaliBDIM16 %V 10009 %@ 978-3-319-47845-6

@inproceedings{conf/icfem/FoughaliBDIM16, added-at = {2017-06-15T00:00:00.000+0200}, author = {Foughali, Mohammed and Berthomieu, Bernard and Dal-Zilio, Silvano and Ingrand, Félix and Mallet, Anthony}, biburl = {https://www.bibsonomy.org/bibtex/257122d31050978aeda21db6b5169adc4/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2016}, editor = {Ogata, Kazuhiro and Lawford, Mark and Liu, Shaoying}, ee = {https://doi.org/10.1007/978-3-319-47846-3_24}, interhash = {36697d1ebf3ecf62d265de9328518507}, intrahash = {57122d31050978aeda21db6b5169adc4}, isbn = {978-3-319-47845-6}, keywords = {dblp}, pages = {383-399}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:04:13.000+0200}, title = {Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2016.html#FoughaliBDIM16}, volume = 10009, year = 2016 }