%0 Conference Paper %1 conf/pstv/KrummD84 %A Krumm, Heiko %A Drobnik, Oswald %B PSTV %D 1984 %E Yemini, Yechiam %E Strom, Robert E. %E Yemini, Shaula %I North-Holland %K dblp %P 31-45 %T Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1984.html#KrummD84 %@ 0-444-87676-6

@inproceedings{conf/pstv/KrummD84, added-at = {2002-01-10T00:00:00.000+0100}, author = {Krumm, Heiko and Drobnik, Oswald}, biburl = {https://www.bibsonomy.org/bibtex/20298d3245c9db8d8cce781e7637e48bf/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1984}, date = {2002-01-10}, description = {dblp}, editor = {Yemini, Yechiam and Strom, Robert E. and Yemini, Shaula}, interhash = {b4ec989d6ec946cac05b4a5cab1cf9da}, intrahash = {0298d3245c9db8d8cce781e7637e48bf}, isbn = {0-444-87676-6}, keywords = {dblp}, pages = {31-45}, publisher = {North-Holland}, timestamp = {2002-01-10T00:00:00.000+0100}, title = {Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1984.html#KrummD84}, year = 1984 }