Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A Modest Approach to Modelling and Checking Markov Automata - MaRDI portal

A Modest Approach to Modelling and Checking Markov Automata

From MaRDI portal

Publication:6488993

Jump to:navigation, search

DOI10.1007/978-3-030-30281-8_4MaRDI QIDQ6488993

Arnd Hartmanns, Holger Hermanns, Yuliya Butkova

Publication date: 14 March 2024

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

This page was built for publication: A Modest Approach to Modelling and Checking Markov Automata

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6488993&oldid=37944738"