![](/img/cover-not-exists.png)
Local Module Checking for CTL Specifications
Samik Basu, Partha S Roop, Roopak SinhaVolume:
176
Year:
2007
Language:
english
Pages:
17
DOI:
10.1016/j.entcs.2006.02.035
File:
PDF, 365 KB
english, 2007