3. VMCAI 2002:
Venice, Italy Agostino Cortesi (Ed.):
Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers.
Lecture Notes in Computer Science 2294 Springer 2002, ISBN 3-540-43631-6 Security and Protocols
export record as
dblp key:
conf/vmcai/BernardeschiF02 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/vmcai/Shyamasundar02
Timed Systems and Games
export record as
dblp key:
Li Tan :
An Abstract Schema for Equivalence-Checking Games.
65-78
export record as
dblp key:
export record as
dblp key:
Static Analysis
export record as
dblp key:
conf/vmcai/CharatonikMP02 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Optimizations
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Types and Verification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Temporal Logics and Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Michael Huth :
Model Checking Modal Transition Systems Using Kripke Structures.
302-316
export record as
dblp key:
data released under the ODC-BY 1.0 license
