Sciweavers

ATVA
2006
Springer

Towards a Model-Checker for Counter Systems

13 years 7 months ago
Towards a Model-Checker for Counter Systems
Stéphane Demri, Alain Finkel, Valentin Gora
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where ATVA
Authors Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen
Comments (0)