Author:
Celikkan Ufuk,Cleaveland Rance
Reference12 articles.
1. “Squiggles: A Tool for the Analysis of LOTOS Specfiations”;Bolognesi,1989
2. “Introduction to the ISO Specification Language LOTOS”;Bolognesi;Computer Networks and ISDN Systems,1987
3. Celikkan, U. and R. Cleaveland, “On Computing Diagnostic Information for Preorder Checking”, To appear in International Workshop on Computer-Aided Verification.
4. Cleaveland, R., J. Parrow, and B. Steffen, “ The Concurrency Workbench”, In Proceedings of the Workshop on Automatic Verification Methods for Finite-State Systems, LNCS 407, (1989), 24–37. To appear in ACM TOPLAS.
5. Cleaveland, R., and B. Steffen, “ Computing Behavioural Relations, Logically”, In Proceedings of ICALP, (1991).
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献