%0 Conference Paper %1 conf/forte/RodriguezL88 %A Rodriguez, Saturnino Marchena %A León, Gonzalo %B FORTE %D 1988 %E Turner, Kenneth J. %I North-Holland %K dblp %P 217-230 %T Transformation from LOTOS Specifications to Galileo Nets. %U http://dblp.uni-trier.de/db/conf/forte/forte1988.html#RodriguezL88 %@ 0-444-87126-8

@inproceedings{conf/forte/RodriguezL88, added-at = {2002-01-03T00:00:00.000+0100}, author = {Rodriguez, Saturnino Marchena and León, Gonzalo}, biburl = {https://www.bibsonomy.org/bibtex/23ad961f84df0556aec6b1b45a4faacbb/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1988}, date = {2002-01-03}, description = {dblp}, editor = {Turner, Kenneth J.}, interhash = {bb14e49a76232e433d276ece61804803}, intrahash = {3ad961f84df0556aec6b1b45a4faacbb}, isbn = {0-444-87126-8}, keywords = {dblp}, pages = {217-230}, publisher = {North-Holland}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Transformation from LOTOS Specifications to Galileo Nets.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1988.html#RodriguezL88}, year = 1988 }