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
scientific article; zbMATH DE number 1538048 - MaRDI portal

scientific article; zbMATH DE number 1538048

From MaRDI portal

Publication:4518904

Jump to:navigation, search

zbMath0960.68108MaRDI QIDQ4518904

Markus Siegle, Joachim Meyer-Kayser, Holger Hermanns, Joost-Pieter Katoen

Publication date: 3 December 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Markov chains model checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Model-checking large structured Markov chains. ⋮ Minimization of probabilistic models of programs ⋮ Algorithmic probabilistic game semantics. Playing games with automata

This page was built for publication:

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