Publisher
Springer Berlin Heidelberg
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bibliography;From Action Systems to Distributed Systems;2016-04-20
2. Tool support for learning Büchi automata and linear temporal logic;Formal Aspects of Computing;2009-05
3. Assumption-based distribution of CTL model checking;International Journal on Software Tools for Technology Transfer;2004-12-14
4. Verifying Invariants of Component-Based Systems through Refinement;Algebraic Methodology and Software Technology;2004
5. Composing Temporal-Logic Specifications with Machine Assistance;FME 2003: Formal Methods;2003