Efficient Modelling and Generation of Markov Automata
Publication:2912690
DOI10.1007/978-3-642-32940-1_26zbMath1364.68295OpenAlexW2111987809WikidataQ57801061 ScholiaQ57801061MaRDI QIDQ2912690
Jaco van de Pol, Mark Timmer, Mariëlle I. A. Stoelinga, Joost-Pieter Katoen
Publication date: 25 September 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://research.utwente.nl/en/publications/efficient-modelling-and-generation-of-markov-automata(735d6d1f-f276-4ec9-b432-8ea82b13ba21).html
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (7)
Uses Software
This page was built for publication: Efficient Modelling and Generation of Markov Automata