Author:
Narasimha Murali,Cleaveland Rance,Iyer Purush
Publisher
Springer Berlin Heidelberg
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Łukasiewicz μ-calculus;Fundamenta Informaticae;2017-03-03
2. Łukasiewicz mu-Calculus;Electronic Proceedings in Theoretical Computer Science;2013-08-28
3. Reasoning About States of Probabilistic Sequential Programs;Computer Science Logic;2006
4. Congruences and Bisimulations for Continuous-Time Stochastic Logic;Theoretical Aspects of Computing – ICTAC 2005;2005
5. Games, Probability, and the Quantitative μ-Calculus qMμ;Logic for Programming, Artificial Intelligence, and Reasoning;2002