Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Extended abstract dependency graphs;International Journal on Software Tools for Technology Transfer;2021-08-07
2. Abstract Dependency Graphs and Their Application to Model Checking;Tools and Algorithms for the Construction and Analysis of Systems;2019
3. A Formalisation of Consistent Consequence for Boolean Equation Systems;Interactive Theorem Proving;2017
4. Łukasiewicz mu-Calculus;Electronic Proceedings in Theoretical Computer Science;2013-08-28
5. Model Checking Adaptive Multilevel Service Compositions;Formal Aspects of Component Software;2012