Login / Signup
Implicit GSPN reachability set generation using decision diagrams.
Andrew S. Miner
Published in:
Perform. Evaluation (2004)
Keyphrases
</>
special case
data structure
search algorithm
np hard
heuristic search
original data
data compression