Reachability in cyclic extended free-choice systems
Jörg Desel, Javier EsparzaVolume:
114
Year:
1993
Language:
english
Pages:
26
DOI:
10.1016/0304-3975(93)90154-l
File:
PDF, 1.54 MB
english, 1993