%0 Conference Paper %1 conf/taros/LouisGLCV17 %A Louis, Silvain %A Godary-Dejean, Karen %A Lapierre, Lionel %A Claverie, Thomas %A Villéger, Sébastien %B TAROS %D 2017 %E Gao, Yang %E Fallah, Saber %E Jin, Yaochu %E Lekakou, Constantina %I Springer %K dblp %P 586-600 %T Formal Method for Mission Controller Generation of a Mobile Robot. %U http://dblp.uni-trier.de/db/conf/taros/taros2017.html#LouisGLCV17 %V 10454 %@ 978-3-319-64107-2

@inproceedings{conf/taros/LouisGLCV17, added-at = {2023-06-26T00:00:00.000+0200}, author = {Louis, Silvain and Godary-Dejean, Karen and Lapierre, Lionel and Claverie, Thomas and Villéger, Sébastien}, biburl = {https://www.bibsonomy.org/bibtex/23f1bf617984cb233d799d22b6d806d3c/dblp}, booktitle = {TAROS}, crossref = {conf/taros/2017}, editor = {Gao, Yang and Fallah, Saber and Jin, Yaochu and Lekakou, Constantina}, ee = {https://doi.org/10.1007/978-3-319-64107-2_48}, interhash = {0325b66edb223ecdc4f927e33ffe82e8}, intrahash = {3f1bf617984cb233d799d22b6d806d3c}, isbn = {978-3-319-64107-2}, keywords = {dblp}, pages = {586-600}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:34:32.000+0200}, title = {Formal Method for Mission Controller Generation of a Mobile Robot.}, url = {http://dblp.uni-trier.de/db/conf/taros/taros2017.html#LouisGLCV17}, volume = 10454, year = 2017 }