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
Formal techniques in real-time and fault-tolerant systems. 3rd international symposium organized jointly with the working group provably correct systems -- ProCoS, Lübeck, Germany, September 19--23, 1994. Proceedings - MaRDI portal

Formal techniques in real-time and fault-tolerant systems. 3rd international symposium organized jointly with the working group provably correct systems -- ProCoS, Lübeck, Germany, September 19--23, 1994. Proceedings

From MaRDI portal

Publication:1339986

Jump to:navigation, search

zbMath0803.00029MaRDI QIDQ1339986

No author found.

Publication date: 12 December 1994

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Proceedings Symposium Real-time systems Fault-tolerant systems Formal techniques Lübeck (Germany)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (1)

Positive loop-closed automata: A decidable class of hybrid systems

This page was built for publication: Formal techniques in real-time and fault-tolerant systems. 3rd international symposium organized jointly with the working group provably correct systems -- ProCoS, Lübeck, Germany, September 19--23, 1994. Proceedings

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