Format:
IX, 343 S. : graph. Darst.
ISBN:
3-540-00199-9
Series Statement:
Lecture notes in computer science 2549 : State-of-the-art survey
Language:
English
Subjects:
Computer Science
Keywords:
Asynchrones Schaltwerk
;
Entwurfsautomation
;
Eingebettetes System
;
Systementwurf
;
Nebenläufigkeit
;
Petri-Netz
;
Entwurfsautomation
;
Formale Methode
;
Verifikation
;
Leistungsbewertung
;
Aufsatzsammlung
;
Aufsatzsammlung
;
Aufsatzsammlung
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010049153&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
URL:
http://www.loc.gov/catdir/enhancements/fy0818/2002042484-d.html
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010049153&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Author information:
Rozenberg, Grzegorz 1942-