Author:
Dubslaff Clemens,Baier Christel,Berg Manuela
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference23 articles.
1. Verification of probabilistic systems with faulty communication;Abdulla;Information and Computation,2005
2. Decisive Markov chains;Abdulla;Logical Methods in Computer Science,2007
3. A temporal logic of nested calls and returns;Alur,2004
4. Visibly pushdown languages;Alur,2004
5. Principles of Model Checking;Baier,2008
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model Checking Temporal Properties of Recursive Probabilistic Programs;Lecture Notes in Computer Science;2022
2. The early bird catches the worm: First verify, then monitor!;Science of Computer Programming;2019-03
3. The Probabilistic Model Checking Landscape;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05