![](/img/cover-not-exists.png)
Implicit GSPN reachability set generation using decision diagrams
Andrew S. MinerVolume:
56
Year:
2004
Language:
english
Pages:
21
DOI:
10.1016/j.peva.2003.07.005
File:
PDF, 346 KB
english, 2004