%0 Conference Paper %1 conf/cade/HeiselRS88 %A Heisel, Maritta %A Reif, Wolfgang %A Stephan, Werner %B CADE %D 1988 %E Lusk, Ewing L. %E Overbeek, Ross A. %I Springer %K dblp %P 131-140 %T Implementing Verification Strategies in the KIV-System. %U http://dblp.uni-trier.de/db/conf/cade/cade88.html#HeiselRS88 %V 310 %@ 3-540-19343-X

@inproceedings{conf/cade/HeiselRS88, added-at = {2017-05-19T00:00:00.000+0200}, author = {Heisel, Maritta and Reif, Wolfgang and Stephan, Werner}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c4004a2b5ed04909e5548cbdf1ad0681/dblp}, booktitle = {CADE}, crossref = {conf/cade/1988}, editor = {Lusk, Ewing L. and Overbeek, Ross A.}, ee = {https://doi.org/10.1007/BFb0012828}, interhash = {763fb0147df8e7ecb32e12da91351e64}, intrahash = {c4004a2b5ed04909e5548cbdf1ad0681}, isbn = {3-540-19343-X}, keywords = {dblp}, pages = {131-140}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:38:47.000+0200}, title = {Implementing Verification Strategies in the KIV-System.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade88.html#HeiselRS88}, volume = 310, year = 1988 }