Analysis and verification of message sequence charts of distributed systems with the help of coloured Petri nets
2015 ◽
Vol 49
(7)
◽
pp. 484-492
2014 ◽
Vol 21
(6)
◽
pp. 94-106
◽
2015 ◽
pp. 197-218
◽
Keyword(s):
Keyword(s):
Keyword(s):