1
Formal Techniques for Networked and Distributed Sytems — FORTE 2002 [E-Book] : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings /

Full text 
Favorites
Saved in:
2
Model Checking and Artificial Intelligence [E-Book] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:

Narrow Search Results