Search
Lexile Level
AR Level
AR Level
Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings (1999) 9783540662020 by
Halbwachs, Nicolas -
Springer,
-1999
Dewey: 005.1
N/A
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, Vmcai 2008, San Francisco, Usa, January 7-9, 2008, Proceeding 9783540781622 by
Logozzo, Francesco -
Springer,
-2008
Dewey: 005.14
N/A
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Pape 9783642004308 by
Peled, Doron a -
Springer,
-2009
Dewey: 006.3
N/A
N/A
Formal Techniques for Networked and Distributed Systems - Forte 2002: 22nd Ifip Wg 6.1 International Conference Houston, Texas, Usa, November 11-14, 2 9783540001416 by
Peled, Doron a -
Springer,
-2002
Dewey: 004.0151
N/A
N/A
Automated Technology for Verification and Analysis: Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (2005) 9783540292098 by
Peled, Doron a -
Springer,
-2005
Dewey: 620.00420285
N/A
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (2009) 9783642046933 by
Bensalem, Saddek -
Springer,
-2009
Dewey: 004
N/A
Automated Technology for Verification and Analysis: 14th International Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Proceedings (2016) 9783319465197 by
Artho, Cyrille -
Springer,
-2016
Dewey: 005.1
N/A
N/A
Computer Aided Verification: 16th International Conference, Cav 2004, Boston, Ma, Usa, July 13-17, 2004, Proceedings (2004) 9783540223429 by
Alur, Rajeev -
Springer,
-2004
Dewey: 004.24
N/A