499 search results - page 12 / 100 » LTL satisfiability checking |
FMCAD
2004
Springer
14 years 3 months ago
2004
Springer
APN
2001
Springer
14 years 2 months ago
2001
Springer
TACS
2001
Springer
14 years 2 months ago
2001
Springer
APN
2000
Springer
14 years 2 months ago
2000
Springer
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
CAV
2008
Springer
13 years 11 months ago
2008
Springer
