scientific article; zbMATH DE number 1973986

From MaRDI portal

Revision as of 03:10, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4422081

Jump to:navigation, search

zbMath1037.68506MaRDI QIDQ4422081

Kedar S. Namjoshi, Nina Amla, Richard Trefler, E. Allen Emerson

Publication date: 3 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2529/25290226.htm

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

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Related Items (1)

Local Symmetry and Compositional Verification

This page was built for publication:

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