Conference paper

CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta and PAOLETTI Nicola. RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. In: 14th International Conference on Quantitative Evaluation of SysTems. To appear in LNCS: Springer Verlag, 2017, pp. 1-4.
Publication language:english
Original title:RODES: A Robust-Design Synthesis Tool for Probabilistic Systems
Pages:1-4
Proceedings:14th International Conference on Quantitative Evaluation of SysTems
Conference:14th International Conference on Quantitative Evaluation of SysTems
Place:To appear in LNCS, DE
Year:2017
Publisher:Springer Verlag
BibTeX:
@INPROCEEDINGS{
   author = {Radu Calinescu and Milan {\v{C}}e{\v{s}}ka and Simos
	Gerasimou and Marta Kwiatkowska and Nicola Paoletti},
   title = {RODES: A Robust-Design Synthesis Tool for Probabilistic
	Systems},
   pages = {1--4},
   booktitle = {14th International Conference on Quantitative Evaluation of
	SysTems},
   year = {2017},
   location = {To appear in LNCS, DE},
   publisher = {Springer Verlag},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=11461}
}

Your IPv4 address: 54.82.81.154
Switch to IPv6 connection

DNSSEC [dnssec]