Author:
Cleaveland Rance,Sims Steven T.
Reference38 articles.
1. R. Alur T. Henzinger (Eds.), in: Computer Aided Verification (CAV ’96), New Brunswick, New Jersey, Lecture Notes in Computer Science, vol. 1102, Springer, Berlin, July 1996.
2. The ESTEREL synchronous programming language;Berry;Sci. Comput. Programming,1992
3. G. Bhat, R. Cleaveland, Efficient local model checking for fragments of the modal μ-calculus, in: T. Margaria, B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (TACAS ’96), Passau, Germany, Lecture Notes in Computer Science, vol. 1055, Springer, Berlin, March 1996, pp. 107–126.
4. G. Bhat, R. Cleaveland, Efficient model checking via the equational μ-calculus, in: Eleventh Ann. Symp. on Logic in Computer Science (LICS ’96), New Brunswick, New Jersey, IEEE Computer Society Press, Silver Spring, MD, July 1996, pp. 304–312.
5. G. Bhat, R. Cleaveland, G. Luettgen, A practical approach to implementing real-time semantics, Ann. Software Eng. 7 (special issue on real-time software engineering) (1999) 127–155.
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献