Článek ve sborníku konference

ČEŠKA Milan, JANSEN Nils, JUNGES Sebastian a KATOEN Joost-Pieter. Shepherding Hordes of Markov Chains. In: Proceedings of 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Praha: Springer International Publishing, 2019, s. 172-190. ISBN 978-3-030-17464-4.
Jazyk publikace:angličtina
Název publikace:Shepherding Hordes of Markov Chains
Strany:172-190
Sborník:Proceedings of 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Konference:25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Místo vydání:Praha, CZ
Rok:2019
ISBN:978-3-030-17464-4
Vydavatel:Springer International Publishing
BibTeX:
@INPROCEEDINGS{
   author = {Milan {\v{C}}e{\v{s}}ka and Nils Jansen and
	Sebastian Junges and Joost-Pieter Katoen},
   title = {Shepherding Hordes of Markov Chains},
   pages = {172--190},
   booktitle = {Proceedings of 25th International Conference on Tools and
	Algorithms for the Construction and Analysis of Systems},
   year = 2019,
   location = {Praha, CZ},
   publisher = {Springer International Publishing},
   ISBN = {978-3-030-17464-4},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11964}
}

Vaše IPv4 adresa: 3.83.192.109
Přepnout na https