%0 Conference Paper %1 conf/pstv/Gotzhein90 %A Gotzhein, Reinhard %B PSTV %D 1990 %E Logrippo, Luigi %E Probert, Robert L. %E Ural, Hasan %I North-Holland %K dblp %P 295-309 %T Specifying communication services with temporal logic. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1990.html#Gotzhein90 %@ 0-444-88810-1

@inproceedings{conf/pstv/Gotzhein90, added-at = {2002-01-03T00:00:00.000+0100}, author = {Gotzhein, Reinhard}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20efd8f5258d438158fc8e74854569194/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1990}, editor = {Logrippo, Luigi and Probert, Robert L. and Ural, Hasan}, interhash = {8d4b02fd69aff23155493123ae9c3f47}, intrahash = {0efd8f5258d438158fc8e74854569194}, isbn = {0-444-88810-1}, keywords = {dblp}, pages = {295-309}, publisher = {North-Holland}, timestamp = {2016-02-02T11:19:33.000+0100}, title = {Specifying communication services with temporal logic.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1990.html#Gotzhein90}, year = 1990 }