Principles of Model Checking

Research output: Book/Conference proceeding/Anthology/Report › Monograph › Contributed

Contributors

Details

Original languageEnglish
Place of PublicationCambridge
Number of pages975
EditionNeuerscheinung
Publication statusPublished - 2008
Peer-reviewedNo

External IDs

ORCID /0000-0002-5321-9343/work/142236681

Keywords