Armen Gabrielian
-
Towards An Integration Of Message Sequence Charts And Timed Maude
Journal of Integrated Design & Process Science