1615 search results - page 19 / 323 » Distributed Forward Checking |
CONCUR
2001
Springer
14 years 4 days ago
2001
Springer
CONCUR
1995
Springer
13 years 11 months ago
1995
Springer
ICPADS
2010
IEEE
13 years 5 months ago
2010
IEEE
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...