|
[LFL11]
Florian Leitner-Fischer and Stefan Leue.
QuantUM: Quantitative Safety Analysis of UML Models.
In Proc. 9th Workshop on Quantitative Aspects of Programming Languages (QAPL'11).
2011.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|