%0 Conference Paper %1 conf/ifm/0002MLCT17 %A Ribeiro, Pedro %A Miyazawa, Alvaro %A Li, Wei %A Cavalcanti, Ana %A Timmis, Jon %B IFM %D 2017 %E Polikarpova, Nadia %E Schneider, Steve A. %I Springer %K %P 18-33 %T Modelling and Verification of Timed Robotic Controllers. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2017.html#0002MLCT17 %V 10510 %@ 978-3-319-66845-1

@inproceedings{conf/ifm/0002MLCT17, added-at = {2023-12-12T23:05:32.000+0100}, author = {Ribeiro, Pedro and Miyazawa, Alvaro and Li, Wei and Cavalcanti, Ana and Timmis, Jon}, biburl = {https://www.bibsonomy.org/bibtex/2fbddba877d090a490f8c7af7fa3de087/admin}, booktitle = {IFM}, crossref = {conf/ifm/2017}, editor = {Polikarpova, Nadia and Schneider, Steve A.}, ee = {https://www.wikidata.org/entity/Q60473539}, interhash = {5218f44d5ec031dae792d2c2f7423015}, intrahash = {fbddba877d090a490f8c7af7fa3de087}, isbn = {978-3-319-66845-1}, keywords = {}, pages = {18-33}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T23:05:32.000+0100}, title = {Modelling and Verification of Timed Robotic Controllers.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2017.html#0002MLCT17}, volume = 10510, year = 2017 }