%0 Conference Paper %1 conf/pstv/StefanoMM85 %A Stefano, Antonella Di %A Malgeri, Michele %A Mirabella, Orazio %B PSTV %D 1985 %E Diaz, Michel %I North-Holland %K dblp %P 195-213 %T A specification of a PROWAY protocol with an Algebraic language. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1985.html#StefanoMM85 %@ 0-444-87881-5

@inproceedings{conf/pstv/StefanoMM85, added-at = {2002-01-07T00:00:00.000+0100}, author = {Stefano, Antonella Di and Malgeri, Michele and Mirabella, Orazio}, biburl = {https://www.bibsonomy.org/bibtex/236fa6df2e07f1c4350ef57315f7a2703/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1985}, date = {2002-01-07}, description = {dblp}, editor = {Diaz, Michel}, interhash = {7d6156b399349e9c0487d75a8bb32045}, intrahash = {36fa6df2e07f1c4350ef57315f7a2703}, isbn = {0-444-87881-5}, keywords = {dblp}, pages = {195-213}, publisher = {North-Holland}, timestamp = {2002-01-07T00:00:00.000+0100}, title = {A specification of a PROWAY protocol with an Algebraic language.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1985.html#StefanoMM85}, year = 1985 }