Publisher
Springer Berlin Heidelberg
Cited by
76 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Spanning the spectrum from safety to liveness;Acta Informatica;2017-10-23
2. Combining the Temporal and Epistemic Dimensions for MTL Monitoring;Lecture Notes in Computer Science;2017
3. A multi-paradigm language for reactive synthesis;Electronic Proceedings in Theoretical Computer Science;2016-02-02
4. Model Checking Properties on Reduced Trace Systems;Algorithms;2014-07-08
5. Variations on Safety;Tools and Algorithms for the Construction and Analysis of Systems;2014