%0 Conference Paper %1 conf/pstv/LogrippoSU84 %A Logrippo, Luigi %A Simon, Didier %A Ural, Hasan %B PSTV %D 1984 %E Yemini, Yechiam %E Strom, Robert E. %E Yemini, Shaula %I North-Holland %K dblp %P 279-293 %T Executable Description of the OSI Transport Service in Prolog. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1984.html#LogrippoSU84 %@ 0-444-87676-6

@inproceedings{conf/pstv/LogrippoSU84, added-at = {2002-01-10T00:00:00.000+0100}, author = {Logrippo, Luigi and Simon, Didier and Ural, Hasan}, biburl = {https://www.bibsonomy.org/bibtex/2ea77a28cf3cc635d944d2fc6c2951fbd/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1984}, date = {2002-01-10}, description = {dblp}, editor = {Yemini, Yechiam and Strom, Robert E. and Yemini, Shaula}, interhash = {bfd40c0d44b24bc893eaeab4a4b69681}, intrahash = {ea77a28cf3cc635d944d2fc6c2951fbd}, isbn = {0-444-87676-6}, keywords = {dblp}, pages = {279-293}, publisher = {North-Holland}, timestamp = {2002-01-10T00:00:00.000+0100}, title = {Executable Description of the OSI Transport Service in Prolog.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1984.html#LogrippoSU84}, year = 1984 }