%0 Journal Article %1 journals/robotica/KhalilC97 %A Khalil, Wisama %A Creusot, Denis %D 1997 %J Robotica %K dblp %N 2 %P 153-161 %T SYMORO+: A system for the symbolic modelling of robots. %U http://dblp.uni-trier.de/db/journals/robotica/robotica15.html#KhalilC97 %V 15

@article{journals/robotica/KhalilC97, added-at = {2017-05-28T00:00:00.000+0200}, author = {Khalil, Wisama and Creusot, Denis}, biburl = {https://www.bibsonomy.org/bibtex/2b906e5ccb78f002d647c3ca2e67b5d69/dblp}, ee = {https://doi.org/10.1017/S0263574797000180}, interhash = {ca66888008c46530d784e1f801478c87}, intrahash = {b906e5ccb78f002d647c3ca2e67b5d69}, journal = {Robotica}, keywords = {dblp}, number = 2, pages = {153-161}, timestamp = {2017-05-30T20:09:14.000+0200}, title = {SYMORO+: A system for the symbolic modelling of robots.}, url = {http://dblp.uni-trier.de/db/journals/robotica/robotica15.html#KhalilC97}, volume = 15, year = 1997 }