2. ATVA 2004:
Taipei, Taiwan Farn Wang (Ed.):
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings.
Lecture Notes in Computer Science 3299 Springer 2004, ISBN 3-540-23610-4 Keynote Speech
export record as
dblp key:
Rajeev Alur :
Games for Formal Design and Verification of Reactive Systems.
1
export record as
dblp key:
export record as
dblp key:
Invited Speech
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Shaoying Liu :
An Automated Rigorous Review Method for Verifying and Validating Formal Specifications.
15-19
Papers
export record as
dblp key:
export record as
dblp key:
Bai Su ,
Wenhui Zhang :
Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity.
34-48
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jérôme Leroux :
Disjunctive Invariants for Numerical Systems.
93-107
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/atva/PradubsuwunYM04 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Hiroaki Kikuchi :
Rabin Tree and Its Application to Group Key Distribution.
384-391
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
