Sciweavers

ENTCS
2008

Falsifying Safety Properties Through Games on Over-approximating Models

14 years 11 days ago
Falsifying Safety Properties Through Games on Over-approximating Models
Nathaniel Charlton, Michael Huth
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where ENTCS
Authors Nathaniel Charlton, Michael Huth
Comments (0)