海量图书期刊资源，随时随地畅享阅读乐趣
[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 chartsAlur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis · 2000