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

scientific article; zbMATH DE number 795181

From MaRDI portal

Publication:4845331

Jump to:navigation, search

zbMath0828.93002MaRDI QIDQ4845331

Jennifer McManis, Pravin P. Varaiya

Publication date: 10 January 1996

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

zbMATH Keywords

scheduling timed automata verification problems finite state automaton language containment language emptiness rate automaton

Mathematics Subject Classification ID

General systems (93A10) Model systems in control theory (93C99)

Related Items (2)

Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets ⋮ On a class of timer hybrid systems reducible to finite state automata

This page was built for publication:

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