Author:
Jacobs Swen,Tentrup Leander,Zimmermann Martin
Funder
German Research Foundation
European Research Council
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference34 articles.
1. The temporal logic of programs;Pnueli,1977
2. The ForSpec temporal logic: a new temporal property-specification language;Armoni,2002
3. A Practical Introduction to PSL;Eisner,2006
4. Reasoning about infinite computations;Vardi;Inf. Comput.,1994
5. Parametric temporal logic for “model measuring”;Alur;ACM Trans. Comput. Log.,2001
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献