Sciweavers

Share
38 search results - page 1 / 8
» cav 2004
Sort
View
CAV
2004
Springer
105views Hardware» more  CAV 2004»
11 years 5 months ago
A Formal Reduction for Lock-Free Parallel Algorithms
Hui Gao, Wim H. Hesselink
CAV
2004
Springer
90views Hardware» more  CAV 2004»
11 years 5 months ago
WSAT: A Tool for Formal Analysis of Web Services
Xiang Fu, Tevfik Bultan, Jianwen Su
CAV
2004
Springer
86views Hardware» more  CAV 2004»
11 years 5 months ago
MCK: Model Checking the Logic of Knowledge
Peter Gammie, Ron van der Meyden
CAV
2004
Springer
100views Hardware» more  CAV 2004»
11 years 5 months ago
An Experimental Evaluation of Ground Decision Procedures
Leonardo Mendonça de Moura, Harald Rue&szli...
books