Login / Signup
Variable order metrics for decision diagrams in system verification.
Elvio Gilberto Amparore
Susanna Donatelli
Gianfranco Ciardo
Published in:
Int. J. Softw. Tools Technol. Transf. (2020)
Keyphrases
</>
dynamic programming
multi dimensional
model checking