140
Voted
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...