[ACM Press the 22nd international conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the 22nd international conference on Software engineering - ICSE '00 - Inference of message sequence charts

• 作者Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
• 文件大小296.92KB
• 发表时间2000
• DOI10.1145/337180.337215
• 页码304-313