scientific article

zbMath1271.68090MaRDI QIDQ2847803

Friedrich H. Vogt, James E. Johnson, David E. Langworthy, Leslie Lamport

Publication date: 11 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104051655

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

Mathematics Subject Classification ID

Network protocols (68M12) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Internet topics (68M11)

Related Items (1)

A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol

This page was built for publication: