Author:
Cook Jonathan E.,Du Zhidian
Subject
Hardware and Architecture,Information Systems,Software
Reference33 articles.
1. Mining Process Models from Workflow Logs;Agrawal;Lecture Notes in Computer Science,1998
2. Alur, R., Etessami, K., Yannakakis, M., 2000. Inference of message sequence charts. In: Proceedings of 22nd International Conference on Software Engineering. pp. 304–313
3. Inductive inference: theory and methods;Angluin;ACM Computing Surveys,1983
4. Automated analysis of concurrent systems with the constrained expression toolset;Avrunin;IEEE Transactions on Software Engineering,1991
5. Debugging heterogeneous systems using event-based models of behavior;Bates,1989
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献