Meyden, Ron van der
[HerausgeberIn];
Smaus, Jan-Georg
[Sonstige Person, Familie und Körperschaft]
;
MoChArt 6 2010 Atlanta, Ga
Model checking and artificial intelligence
: 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 ; revised selected and invited papers
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch;
Konferenzbericht
Titel:
Model checking and artificial intelligence
:
6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 ; revised selected and invited papers