Author:
Autili Marco,Inverardi Paola,Mignosi Filippo,Spalazzese Romina,Tivoli Massimo
Publisher
Springer International Publishing
Reference55 articles.
1. ITU Telecommunication Standardisation sector, ITU-T reccomendation Z.120. Message Sequence Charts (MSC 1996). Geneva
2. Aalbersberg, I.J., Hoogeboom, H.J.: Characterizations of the decidability of some problems for regular trace languages. Mathematical Systems Theory 22(1), 1–19 (1989)
3. Aalbersberg, I.J., Welzl, E.: Trace languages defined by regular string languages. ITA 20(2), 103–119 (1986)
4. de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC/FSE (2001)
5. Arnold, A.: Finite Transition Systems. International Series in Computer Science, Prentice Hall International (UK) (1989)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献