1
Time for Verification [E-Book] : Essays in Memory of Amir Pnueli /
Other Personal Name(s): “...Peled, Doron A....”

Full text 
Favorites
Saved in:
2
Runtime Verification [E-Book] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /
Other Personal Name(s): “...Peled, Doron A....”

Full text 
Favorites
Saved in:
3
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): “...Peled, Doron A....”

Full text 
Favorites
Saved in:
4
Verification, Model Checking, and Abstract Interpretation [E-Book] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
Other Personal Name(s): “...Peled, Doron A....”

Full text 
Favorites
Saved in:
5
Automated Technology for Verification and Analysis [E-Book] / Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Other Personal Name(s): “...Peled, Doron A....”

Full text 
Favorites
Saved in:
6
Computer Aided Verification [E-Book] : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings /
Other Personal Name(s): “...Peled, Doron A....”

Full text 
Favorites
Saved in:
7
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 /
Other Personal Name(s): “...Peled, Doron A....”

Full text 
Favorites
Saved in:

Narrow Search Results