Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann. Model Checking Using Adaptive State and Data Abstraction. In David L. Dill, editor, Computer Aided Verification, 6th International Conference, CAV 94, Stanford, California, USA, June 21-23, 1994, Proceedings. Volume 818 of Lecture Notes in Computer Science, pages 455-467, Springer, 1994.
@inproceedings{DamsGDHKP94,
title = {Model Checking Using Adaptive State and Data Abstraction},
author = {Dennis Dams and Rob Gerth and Gert Döhmen and Ronald Herrmann and Peter Kelb and Hergen Pargmann},
year = {1994},
tags = {model checking, meta-model, data-flow, abstraction, Meta-Environment},
researchr = {https://researchr.org/publication/DamsGDHKP94},
cites = {0},
citedby = {0},
pages = {455-467},
booktitle = {Computer Aided Verification, 6th International Conference, CAV 94, Stanford, California, USA, June 21-23, 1994, Proceedings},
editor = {David L. Dill},
volume = {818},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-58179-0},
}