Analysis and verification of message sequence charts of distributed systems with the help of coloured Petri nets
Crossref DOI link: https://doi.org/10.3103/S0146411615070056
Published Online: 2016-01-28
Published Print: 2015-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Chernenok, S. A.
Nepomniaschy, V. A.
Text and Data Mining valid from 2015-12-01
