Finding reachable states of finite-state concurrent systems
Gregory B. Titus, Allan M. StavelyVolume:
9
Year:
1989
Language:
english
Pages:
20
DOI:
10.1016/0164-1212(89)90046-0
File:
PDF, 2.34 MB
english, 1989