Title :
Session I: Model Checking
Abstract :
Start of the above-titled section of the conference proceedings record.
Conference_Titel :
Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on
Conference_Location :
Napa, CA
Print_ISBN :
1-4244-0421-5
DOI :
10.1109/MEMCOD.2006.1695894
