Sciweavers

Share
27 search results - page 1 / 6
» atva 2006
Sort
View
ATVA
2006
Springer
87views Hardware» more  ATVA 2006»
10 years 1 months ago
Timed Temporal Logics for Abstracting Transient States
Houda Bel Mokadem, Béatrice Bérard, ...
ATVA
2006
Springer
83views Hardware» more  ATVA 2006»
10 years 1 months ago
Towards a Model-Checker for Counter Systems
Stéphane Demri, Alain Finkel, Valentin Gora...
ATVA
2006
Springer
155views Hardware» more  ATVA 2006»
10 years 1 months ago
Sigref- A Symbolic Bisimulation Tool Box
Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kel...
books