Author:
Dalsgaard Andreas Engelbredt,Enevoldsen Søren,Larsen Kim Guldstrand,Srba Jiří
Publisher
Springer International Publishing
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Elimination of Detached Regions in Dependency Graph Verification;Model Checking Software;2023
2. Extended abstract dependency graphs;International Journal on Software Tools for Technology Transfer;2021-08-07
3. Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs;Logic-Based Program Synthesis and Transformation;2021
4. Dependency graphs with applications to verification;International Journal on Software Tools for Technology Transfer;2020-06-06
5. Model Verification Through Dependency Graphs;Model Checking Software;2019