A Modest approach to Markov automata

Research output: Contribution to journal › Article › Academic › peer-review

14 Citations (Scopus)

160 Downloads (Pure)

Original language	English
Article number	14
Journal	ACM transactions on modeling and computer simulation
Volume	31
Issue number	3
DOIs	https://doi.org/10.1145/3449355
Publication status	Published - Jul 2021

Access to Document

@article{3d9dffd0ec1e4eee82807f3b64076bab,

title = "A Modest approach to Markov automata",

author = "Yuliya Butkova and Arnd Hartmanns and Holger Hermanns",

year = "2021",

month = jul,

doi = "10.1145/3449355",

language = "English",

volume = "31",

journal = "ACM transactions on modeling and computer simulation",

issn = "1049-3301",

publisher = "Association for Computing Machinery",

number = "3",

}