%0 Journal Article %1 journals/ijrr/MontanoPV00 %A Montano, Luis %A Izquierdo, Francisco José García %A Villarroel, José Luis %D 2000 %J Int. J. Robotics Res. %K dblp %N 1 %P 59-76 %T Using the Time Petri Net Formalism for Specification, Validation, and Code Generation in Robot-Control Applications. %U http://dblp.uni-trier.de/db/journals/ijrr/ijrr19.html#MontanoPV00 %V 19

@article{journals/ijrr/MontanoPV00, added-at = {2020-09-17T00:00:00.000+0200}, author = {Montano, Luis and Izquierdo, Francisco José García and Villarroel, José Luis}, biburl = {https://www.bibsonomy.org/bibtex/25d9f5a0b4d4fafb7be88aa0380dc3b87/dblp}, ee = {https://doi.org/10.1177/02783640022066743}, interhash = {211927dc952ee136747588e831723934}, intrahash = {5d9f5a0b4d4fafb7be88aa0380dc3b87}, journal = {Int. J. Robotics Res.}, keywords = {dblp}, number = 1, pages = {59-76}, timestamp = {2020-09-18T11:48:41.000+0200}, title = {Using the Time Petri Net Formalism for Specification, Validation, and Code Generation in Robot-Control Applications.}, url = {http://dblp.uni-trier.de/db/journals/ijrr/ijrr19.html#MontanoPV00}, volume = 19, year = 2000 }