1
Model Checking and Artificial Intelligence [E-Book] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers /
Other Personal Name(s): “...Smaus, Jan-Georg....”

Full text 
Favorites
Saved in:
2
Relational and Kleene-Algebraic Methods in Computer Science [E-Book] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 20 /
Other Personal Name(s): “...Struth, Georg....”

Full text 
Favorites
Saved in:
3
Field Programmable Logic and Application [E-Book] : 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003, Proceedings /
Other Personal Name(s): “...Constantinides, Georg A....”

Full text 
Favorites
Saved in:
4
Computer Science Logic [E-Book] : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings /
Other Personal Name(s): “...Gottlob, Georg....”

Full text 
Favorites
Saved in:

Narrow Search Results