%0 Conference Paper %1 conf/forte/SariaNB91 %A Saria, Heinz %A Nirschl, Heinrich %A Binding, Carl %B FORTE %D 1991 %E Parker, Ken R. %E Rose, Gordon A. %I North-Holland %K dblp %P 425-439 %T Mixing LOTOS and SDL Specifications. %U http://dblp.uni-trier.de/db/conf/forte/forte1991.html#SariaNB91 %V C-2 %@ 0-444-89402-0

@inproceedings{conf/forte/SariaNB91, added-at = {2002-01-03T00:00:00.000+0100}, author = {Saria, Heinz and Nirschl, Heinrich and Binding, Carl}, biburl = {https://www.bibsonomy.org/bibtex/202ef707bf48664b8059c0d69d15afbdf/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1991}, date = {2002-01-03}, description = {dblp}, editor = {Parker, Ken R. and Rose, Gordon A.}, interhash = {44026cb3e06d9d7ee7ec18d868fbf5e8}, intrahash = {02ef707bf48664b8059c0d69d15afbdf}, isbn = {0-444-89402-0}, keywords = {dblp}, pages = {425-439}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Mixing LOTOS and SDL Specifications.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1991.html#SariaNB91}, volume = {C-2}, year = 1991 }