Author:
Chakraborty Joy,D’Souza Deepak,Narayan Kumar K.
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. IEEE Trans. Software Eng. 29(7), 623–633 (2003)
2. Lecture Notes in Computer Science;R. Alur,1999
3. Chakraborty, J., D’Souza, D., Narayan Kumar, K.: Analysing Message Sequence Graph Specifications, Technical Report IISc-CSA-TR-2009-1, CSA Department, IISc (2009), http://www.csa.iisc.ernet.in/TR/2009/1/
4. Clerbout, M., Latteux, M.: Semi-commutations. Inf. Comput. 73(1), 59–74 (1987)
5. Lecture Notes in Computer Science;B. Genest,2004
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献