%0 Conference Paper %1 conf/isola/BettiniBPT20 %A Bettini, Lorenzo %A Bourr, Khalid %A Pugliese, Rosario %A Tiezzi, Francesco %B ISoLA (2) %D 2020 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 361-379 %T Writing Robotics Applications with X-Klaim. %U http://dblp.uni-trier.de/db/conf/isola/isola2020-2.html#BettiniBPT20 %V 12477 %@ 978-3-030-61470-6

@inproceedings{conf/isola/BettiniBPT20, added-at = {2023-09-30T00:00:00.000+0200}, author = {Bettini, Lorenzo and Bourr, Khalid and Pugliese, Rosario and Tiezzi, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/206eb40b7365dce35b58009c60491b517/dblp}, booktitle = {ISoLA (2)}, crossref = {conf/isola/2020-2}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-030-61470-6_22}, interhash = {4a9e2922ea05da17025298271813d716}, intrahash = {06eb40b7365dce35b58009c60491b517}, isbn = {978-3-030-61470-6}, keywords = {dblp}, pages = {361-379}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T13:58:36.000+0200}, title = {Writing Robotics Applications with X-Klaim.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2020-2.html#BettiniBPT20}, volume = 12477, year = 2020 }