Author:
Garavel Hubert,Mateescu Radu
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Andersen, H.R.: Model checking and boolean graphs. TCS 126(1), 3–30 (1994)
2. Lecture Notes in Computer Science;R. Armoni,2002
3. Arts, T., Fredlund, L.-A.: Trace Analysis of Erlang Programs. In: ACM SIGPLAN Erlang Workshop, Pittsburgh, PA, USA (2002)
4. Lecture Notes in Computer Science;I. Beer,2001
5. Cleaveland, R., Steffen, B.: A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. FMSD 2, 121–147 (1993)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献