Umfang:
XIV, 600 S. : graph. Darst.
ISBN:
3-540-00296-0
Serie:
Texts in theoretical computer science
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Reaktives System
;
Verifikation
;
Formale Spezifikationstechnik
;
Model Checking
;
Endlicher Automat
;
Temporale Logik
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010211531&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA