Using Assumptions to Distribute CTL Model Checking
Luboš Brim, Jitka Crhová, Karen YoravVolume:
68
Year:
2002
Language:
english
Pages:
16
DOI:
10.1016/s1571-0661(05)80758-3
File:
PDF, 216 KB
english, 2002