An algorithm for checking the time consistency of message sequence charts
From MaRDI portal
Publication:1407080
DOI10.1023/A:1022979502087zbMath1031.68138MaRDI QIDQ1407080
A. B. Godlevskij, M. V. Lopatina, S. N. Svirgunenko
Publication date: 9 September 2003
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
68W05: Nonnumerical algorithms