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 - MaRDI portal

scientific article

From MaRDI portal

Publication:3430687

Jump to:navigation, search

zbMath1139.68380MaRDI QIDQ3430687

Tomáš Brázdil, Ivana Černá

Publication date: 23 March 2007

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

zbMATH Keywords

model checking temporal logic tree automaton regular expression finite state system distributed model checking algorithm

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Branching-time logics with path relativisation ⋮ CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks

This page was built for publication:

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