%0 Conference Paper %1 conf/forte/EspinosaRP90 %A Espinosa, J. M. Martin %A Roman, J. M. Robles %A Prieto, L. Fuertes %B FORTE %D 1990 %E Quemada, Juan %E Mañas, José A. %E Vázquez, Enrique %I North-Holland %K dblp %P 311-318 %T Concurrent Modelling in LOTOS as a Solution to Real Time Problems. %U http://dblp.uni-trier.de/db/conf/forte/forte1990.html#EspinosaRP90 %@ 0-444-89024-6

@inproceedings{conf/forte/EspinosaRP90, added-at = {2002-01-03T00:00:00.000+0100}, author = {Espinosa, J. M. Martin and Roman, J. M. Robles and Prieto, L. Fuertes}, biburl = {https://www.bibsonomy.org/bibtex/22a191c300d915c204bf0ebb2be150dd9/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1990}, date = {2002-01-03}, description = {dblp}, editor = {Quemada, Juan and Mañas, José A. and Vázquez, Enrique}, interhash = {7862e4a1366b77945de3579e7665b8bb}, intrahash = {2a191c300d915c204bf0ebb2be150dd9}, isbn = {0-444-89024-6}, keywords = {dblp}, pages = {311-318}, publisher = {North-Holland}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Concurrent Modelling in LOTOS as a Solution to Real Time Problems.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1990.html#EspinosaRP90}, year = 1990 }