%0 Conference Paper %1 conf/forte/QuemadaLP93 %A Quemada, Juan %A Larrabeiti, David %A Pavón, Santiago %B FORTE %D 1993 %E Tenney, Richard L. %E Amer, Paul D. %E Uyar, M. Ümit %I North-Holland %K dblp %P 19-34 %T Compressing the State Space Representation of LOTOS Specifications. %U http://dblp.uni-trier.de/db/conf/forte/forte1993.html#QuemadaLP93 %V C-22 %@ 0-444-81773-5

@inproceedings{conf/forte/QuemadaLP93, added-at = {2002-01-03T00:00:00.000+0100}, author = {Quemada, Juan and Larrabeiti, David and Pavón, Santiago}, biburl = {https://www.bibsonomy.org/bibtex/205122b81b8571696d69afb3662af42ee/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1993}, date = {2002-01-03}, description = {dblp}, editor = {Tenney, Richard L. and Amer, Paul D. and Uyar, M. Ümit}, interhash = {e83d5501ed961fa8d4a11aedf6e4cd14}, intrahash = {05122b81b8571696d69afb3662af42ee}, isbn = {0-444-81773-5}, keywords = {dblp}, pages = {19-34}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Compressing the State Space Representation of LOTOS Specifications.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1993.html#QuemadaLP93}, volume = {C-22}, year = 1993 }