Author:
Mateescu Radu,Thivolle Damien
Publisher
Springer Berlin Heidelberg
Reference44 articles.
1. Andersen, H.R.: Model Checking and Boolean Graphs. TCS 126(1), 3–30 (1994)
2. ANSI. Small Computer System Interface-2. Standard X3.131-1994
3. Lecture Notes in Computer Science;R. Armoni,2002
4. Arts, T., Benac Earle, C., Derrick, J.: Development of a Verified Erlang Program for Resource Locking. STTT 5(2–2), 205–220 (2004)
5. Lecture Notes in Computer Science;H. Barringer,2004
Cited by
103 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献