%0 Conference Paper %1 conf/esop/GoughB88 %A Gough, Graham %A Barringer, Howard %B ESOP %D 1988 %E Ganzinger, Harald %I Springer %K dblp %P 21-33 %T A Semantics Driven Temporal Verification System. %U http://dblp.uni-trier.de/db/conf/esop/esop88.html#GoughB88 %V 300 %@ 3-540-19027-9

@inproceedings{conf/esop/GoughB88, added-at = {2017-05-19T00:00:00.000+0200}, author = {Gough, Graham and Barringer, Howard}, biburl = {https://www.bibsonomy.org/bibtex/28bb1549f735289f52d2e1355ae723e37/dblp}, booktitle = {ESOP}, crossref = {conf/esop/1988}, editor = {Ganzinger, Harald}, ee = {https://doi.org/10.1007/3-540-19027-9_2}, interhash = {6cefcbee9cffd1a0653b0af22c21a912}, intrahash = {8bb1549f735289f52d2e1355ae723e37}, isbn = {3-540-19027-9}, keywords = {dblp}, pages = {21-33}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:28:15.000+0200}, title = {A Semantics Driven Temporal Verification System.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop88.html#GoughB88}, volume = 300, year = 1988 }