1
Model Checking and Artificial Intelligence [E-Book] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
2
Agent and Multi-Agent Systems: Technologies and Applications [E-Book] : Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:

Narrow Search Results