Design of decentralized critical observers for networks of finite state machines: a formal method approach

From MaRDI portal

(Redirected from Publication:1678627)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Design_of_decentralized_critical_observers_for_networks_of_finite_state_machines:_a_formal_method_approach&oldid=68234508"