%0 Conference Paper %1 conf/pstv/OvermanC82 %A Overman, William T. %A Crocker, Stephen D. %B PSTV %D 1982 %E Sunshine, Carl A. %I North-Holland %K dblp %P 401-409 %T Verification of Concurrent Systems: Function and Timing. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1982.html#OvermanC82 %@ 0-444-86481-4

@inproceedings{conf/pstv/OvermanC82, added-at = {2002-01-17T00:00:00.000+0100}, author = {Overman, William T. and Crocker, Stephen D.}, biburl = {https://www.bibsonomy.org/bibtex/28855cd3ce7604c4aca349efd503c0f44/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1982}, date = {2002-01-17}, description = {dblp}, editor = {Sunshine, Carl A.}, interhash = {f02ca137f9497c885e4d3d9167e0699d}, intrahash = {8855cd3ce7604c4aca349efd503c0f44}, isbn = {0-444-86481-4}, keywords = {dblp}, pages = {401-409}, publisher = {North-Holland}, timestamp = {2002-01-17T00:00:00.000+0100}, title = {Verification of Concurrent Systems: Function and Timing.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1982.html#OvermanC82}, year = 1982 }