%0 Conference Paper %1 conf/pstv/CavalliH87 %A Cavalli, Ana R. %A Horn, François %B PSTV %D 1987 %E Rudin, Harry %E West, Colin H. %I North-Holland %K dblp %P 221-233 %T Proof of Specification Properties by Using Finite State Machines and Temporal Logic. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1987.html#CavalliH87 %@ 0-444-70293-8

@inproceedings{conf/pstv/CavalliH87, added-at = {2002-01-03T00:00:00.000+0100}, author = {Cavalli, Ana R. and Horn, François}, biburl = {https://www.bibsonomy.org/bibtex/234794d544271ae7a7e104e0c4c823003/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1987}, date = {2002-01-03}, description = {dblp}, editor = {Rudin, Harry and West, Colin H.}, interhash = {a7e46ed114d40b021811811c0be41c6c}, intrahash = {34794d544271ae7a7e104e0c4c823003}, isbn = {0-444-70293-8}, keywords = {dblp}, pages = {221-233}, publisher = {North-Holland}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Proof of Specification Properties by Using Finite State Machines and Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1987.html#CavalliH87}, year = 1987 }