Format:
188 S. : graph. Darst. ;
,
235 mm x 155 mm.
ISBN:
978-3-642-00430-8
,
3-642-00430-X
Series Statement:
Lecture notes in computer science 5348 : Lecture notes in artificial intelligence
Language:
English
Subjects:
Computer Science
Keywords:
Künstliche Intelligenz
;
Model Checking
;
Konferenzschrift
;
Konferenzschrift
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017188181&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Author information:
Peled, Doron, 1962-