%0 Conference Paper %1 conf/forte/ManasSM91 %A Mañas, José A. %A Salvachúa, Joaquín %A de Miguel, Tomás %B FORTE %D 1991 %E Parker, Ken R. %E Rose, Gordon A. %I North-Holland %K dblp %P 467-470 %T Tool Demonstration: A Cross Compiling Experiment: A PC Implementation of a LOTOS Spec. %U http://dblp.uni-trier.de/db/conf/forte/forte1991.html#ManasSM91 %V C-2 %@ 0-444-89402-0

@inproceedings{conf/forte/ManasSM91, added-at = {2002-01-03T00:00:00.000+0100}, author = {Mañas, José A. and Salvachúa, Joaquín and de Miguel, Tomás}, biburl = {https://www.bibsonomy.org/bibtex/26b06e24c7ac7e0ca62574cab0b18cd90/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1991}, date = {2002-01-03}, description = {dblp}, editor = {Parker, Ken R. and Rose, Gordon A.}, interhash = {a625c8fc3edfcba061f2e1d8fdd332ec}, intrahash = {6b06e24c7ac7e0ca62574cab0b18cd90}, isbn = {0-444-89402-0}, keywords = {dblp}, pages = {467-470}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Tool Demonstration: A Cross Compiling Experiment: A PC Implementation of a LOTOS Spec.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1991.html#ManasSM91}, volume = {C-2}, year = 1991 }