Reducing Model Checking of the Few to the One

Saved in:
Bibliographic Details
Published inLecture notes in computer science pp. 94 - 113
Main Authors EMERSON, E. Allen, TREFLER, Richard J, WAHL, Thomas
Format Conference Proceeding
LanguageEnglish
Published Heidelberg Springer 2006
Berlin
Subjects
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Software
Software engineering
Automation
Formal method
Product structure
Software development
Information system
Multiplicity
Model checking
Modeling
Program verification
Aggregate model
Online AccessGet full text

Cover

More Information
ISBN:9783540474609
3540474609
ISSN:0302-9743
1611-3349