scientific article

From MaRDI portal

Publication:3997282

Jump to:navigation, search

zbMath0800.68102MaRDI QIDQ3997282

No author found.

Publication date: 23 January 1993

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

zbMATH Keywords

Proceedings Symposium Testing Verification Protocol specification Logic specification Ottawa, Ontario (Canada)Algebraic techniques LOTOS and verification Protocol testing Specification and design Testing and implementation Verification and design

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)

Interpreting message flow graphs ⋮ The algebra of communicating processes with empty process

This page was built for publication:

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