Deductive Proof Support for Invariants of State-Transition Systems

@inproceedings{pub1597,
    author = {

Hutter, Dieter
},
    editor = {

Herzog, O.
},
    title = {Deductive Proof Support for Invariants of State-Transition Systems},
    booktitle = {Proceedings 22th German Annual Conference on Artificial Intelligence KI-98. German Conference on Artificial Intelligence (KI), Bremen, Germany},
    year = {1998},
    pages = {153--164},
    publisher = {Springer-Verlag, LNAI 1504}
}