Author:
Enevoldsen Søren,Guldstrand Larsen Kim,Srba Jiří
Publisher
Springer International Publishing
Reference40 articles.
1. Algayres, B., Coelho, V., Doldi, L., Garavel, H., Lejeune, Y., Rodríguez, C.: VESAR: a pragmatic approach to formal specification and verification. Comput. Netw. ISDN Syst. 25(7), 779–790 (1993).
https://doi.org/10.1016/0169-7552(93)90048-9
2. Lecture Notes in Computer Science;HR Andersen,1992
3. Lecture Notes in Computer Science;HR Andersen,1992
4. Lecture Notes in Computer Science;JR Andersen,2015
5. Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press (2008)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Extended abstract dependency graphs;International Journal on Software Tools for Technology Transfer;2021-08-07
2. Dependency graphs with applications to verification;International Journal on Software Tools for Technology Transfer;2020-06-06