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
Proceedings of the 1st international workshop on Symbolic model checking (SMC '99), as part of the 2nd federated logic conference (FLoC '99). Trento, Italy, July 6, 1999 - MaRDI portal

Proceedings of the 1st international workshop on Symbolic model checking (SMC '99), as part of the 2nd federated logic conference (FLoC '99). Trento, Italy, July 6, 1999

From MaRDI portal

Publication:1294793

Jump to:navigation, search

zbMath0920.00044MaRDI QIDQ1294793

No author found.

Publication date: 17 August 1999

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

zbMATH Keywords

Proceedings Workshop Trento (Italy)Symbolic model checking Federated logic conference FloC '99 SMC '99

Mathematics Subject Classification ID

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

Related Items (2)

One-Pass Tableaux for Computation Tree Logic ⋮ Proof systems for planning under 0-approximation semantics

This page was built for publication: Proceedings of the 1st international workshop on Symbolic model checking (SMC '99), as part of the 2nd federated logic conference (FLoC '99). Trento, Italy, July 6, 1999

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