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)
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Cites Work