Sciweavers

13913 search results - page 186 / 2783
» models 2007
Sort
View
AMOST
2007
ACM
15 years 11 months ago
Relating counterexamples to test cases in CTL model checking specifications
Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...