![](/img/cover-not-exists.png)
[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY
Babar, Junaid, Miner, AndrewYear:
2010
Language:
english
DOI:
10.1109/qest.2010.34
File:
PDF, 520 KB
english, 2010