%0 Conference Paper %1 conf/pstv/Stomp90 %A Stomp, Frank A. %B PSTV %D 1990 %E Logrippo, Luigi %E Probert, Robert L. %E Ural, Hasan %I North-Holland %K dblp %P 19-32 %T A derivation of a broadcasting protocol using sequentially phased reasoning. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1990.html#Stomp90 %@ 0-444-88810-1

@inproceedings{conf/pstv/Stomp90, added-at = {2002-01-03T00:00:00.000+0100}, author = {Stomp, Frank A.}, biburl = {https://www.bibsonomy.org/bibtex/216b5b0b9a0838a008587c5af3522b7dd/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1990}, date = {2002-01-03}, description = {dblp}, editor = {Logrippo, Luigi and Probert, Robert L. and Ural, Hasan}, interhash = {1e726b778907d22ade800505a0f51d71}, intrahash = {16b5b0b9a0838a008587c5af3522b7dd}, isbn = {0-444-88810-1}, keywords = {dblp}, pages = {19-32}, publisher = {North-Holland}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {A derivation of a broadcasting protocol using sequentially phased reasoning.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1990.html#Stomp90}, year = 1990 }