MoChArt 2008 ((2008 :)
Overview
| Works: | 3 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Model checking and artificial intelligence = 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
by:
Peled, Doron A.; Wooldridge, Michael J.; SpringerLink (Online service); MoChArt 2008 ((2008 :)
(Language materials, printed)