Search Results - MoChArt IV.
-
1
Model checking and artificial intelligence 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers /
Published 2007“…MoChArt IV.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook