Model checking using adaptive state and data abstraction

D.R. Dams, R.T. Gerth, G. Döhmen, R. Herrmann, P. Kelb, H. Pargmann

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

17 Citations (Scopus)
Original languageEnglish
Title of host publicationComputer Aided Verification (Proceedings 6th International Conference, CAV'94, Stanford CA, USA, June 21-23, 1994)
EditorsD.L. Dill
Place of PublicationBerlin
PublisherSpringer
Pages455-467
ISBN (Print)3-540-58179-0
DOIs
Publication statusPublished - 1994

Publication series

NameLecture Notes in Computer Science
Volume818
ISSN (Print)0302-9743

Cite this