Specification and Verification using Message Sequence Charts

DOI10.1016/S1571-0661(04)80484-5zbMath1268.68116OpenAlexW2047666749MaRDI QIDQ2841317

Doron A. Peled

Publication date: 24 July 2013

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

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80484-5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Specification and Verification using Message Sequence Charts

Cites Work

• Specification and Verification using Message Sequence Charts
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Specification and Verification using Message Sequence Charts