Limit Search Results
Language
Format
Material Type
2 Results Found Subscribe to search results
00MAIN
Print
1. 
Cover image for Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers
2. 
Cover image for Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings