Detail publikace

Shepherding Hordes of Markov Chains

Č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.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Češka Milan, RNDr., Ph.D. (UITS FIT VUT)
Jansen Nils (RUN)
Junges Sebastian (RWTH Aachen University)
Katoen Joost-Pieter (RWTH)
Rok
2019
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), Praha, CZ
ISBN
978-3-030-17464-4
Vydavatel
Springer International Publishing
Místo
Praha, CZ
BibTeX
@INPROCEEDINGS{FITPUB11964,
   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 = "https://www.fit.vut.cz/research/publication/11964"
}
Nahoru