catalog
check nearby libraries
WorldCat
Model Checking and Artificial Intelligence
2007
4th Workshop, MoChArt IV, Riva Del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
by
Stefan Edelkamp
No description found.
1 edition at
OpenLibrary
top conversations
more
Loading...