Author:
Boker Udi,Kupferman Orna,Rosenberg Adin
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Accellera. Accellera organization inc. (2006),
http://www.accellera.org
2. Lecture Notes in Computer Science;N. Daniele,1999
3. Eisner, C., Fisman, D.: A Practical Introduction to PSL. Springer, Heidelberg (2006)
4. Emerson, E.A., Jutla, C.: Tree automata, μ-calculus and determinacy. In: Proc. 32nd FOCS, pp. 368–377 (1991)
5. Lecture Notes in Computer Science;K. Etessami,2000
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献