Publisher
Springer Science and Business Media LLC
Reference5 articles.
1. Cleaveland, R.: Tableau-based model checking in the propositional mu-calculus. Acta Informatica 27(8), 725–747 (1990)
2. Cleaveland, R., Steffen, B.: Computing behavioural relations, logically. In: Automata, Languages and Programming: 18th International Colloquium Madrid, Spain, pp. 127–138. Springer, Berlin (1991)
3. Cleaveland, R., Steffen, B.: A linear-time model-checking algorithm for the alternation-free modal mu-calculus. In: Computer Aided Verification: 3rd International Workshop, CAV’91 Aalborg, pp. 48–58. Springer, Denmark (1992)
4. Cleaveland, R., Parrow, J., Steffen, B.: A semantics based verification tool for finite state systems. In: PSTV, pp. 287–302 (1989)
5. Steffen, B.: Characteristic formulae. In: International Colloquium on Automata, Languages, and Programming, pp. 723–732. Springer, Berlin (1989)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21