![](/img/cover-not-exists.png)
Partitioned PLTL model-checking for refined transition systems
J. Julliand, P.-A. Masson, E. OudotVolume:
207
Year:
2009
Language:
english
Pages:
18
DOI:
10.1016/j.ic.2009.02.001
File:
PDF, 428 KB
english, 2009