Formal Techniques for Analysing Scenarios using Message Sequence Charts
From MaRDI portal
Publication:2841314
DOI10.1016/S1571-0661(04)80481-XzbMath1268.68108MaRDI QIDQ2841314
Girish Keshav Palshikar, R. Venkatesh, Purandar Bhaduri
Publication date: 24 July 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
Cites Work
This page was built for publication: Formal Techniques for Analysing Scenarios using Message Sequence Charts