Author:
Leucker Martin,Sánchez César
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. IEEE P1850 - Standard for PSL - Property Specification Language (September 2005)
2. Barringer, H., Kuiper, R., Pnueli, A.: A really abstract concurrent model and its temporal logic. In: POPL 1986. Procs. of the 13th Annual ACM Symp. on Principles of Programming Languages, pp. 173–183. ACM Press, New York (1986)
3. Lecture Notes in Computer Science;I. Beer,2001
4. Büchi, J.R.: On a decision method in restricted second order arithmetic. In: Proc. of the Int’l Congress on Logic Methodology and Philosophy of Science, pp. 1–12. Stanford University Press (1962)
5. Lecture Notes in Computer Science;E.A. Emerson,1980
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献