Author:
Biewer Sebastian,Freiberger Felix,Held Pascal Leo,Hermanns Holger
Publisher
Springer International Publishing
Reference26 articles.
1. Lecture Notes in Computer Science;JR Andersen,2015
2. Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Comput. Netw. 14, 25–59 (1987)
3. Boudol, G., Roy, V., de Simone, R., Vergamini, D.: Process calculi, from theory to practice: verification tools. In: Sifakis [25], pp. 1–10
4. CAV award (2013). http://i-cav.org/cav-award
5. Lecture Notes in Computer Science;R Cleaveland,1995
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Model Checking Concurrent Programs for Autograding in pseuCo Book;Formal Methods Teaching;2023
2. pseuCo Book;Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1;2022-07-07
3. Equivalence Checking 40 Years After: A Review of Bisimulation Tools;Lecture Notes in Computer Science;2022
4. Concurrent Programming from pseuCo to Petri;Application and Theory of Petri Nets and Concurrency;2019