Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre Kristoffersen, Kim G. LarsenVolume:
18
Language:
english
Pages:
19
DOI:
10.1023/a:1008736219484
Date:
January, 2001
File:
PDF, 173 KB
english, 2001