Author:
Hennicker Rolf,Klarl Annabelle,Wirsing Martin
Publisher
Springer International Publishing
Reference22 articles.
1. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Lecture Notes in Computer Science;A Boronat,2009
3. Lecture Notes in Computer Science;T Bures,2015
4. Lecture Notes in Computer Science;J Combaz,2015
5. Lecture Notes in Computer Science;R Nicola De,2014
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Interaction detection in configurable systems – A formal approach featuring roles;Journal of Systems and Software;2023-02
2. Verifying Temporal Properties of Stigmergic Collective Systems Using CADP;Lecture Notes in Computer Science;2021
3. A Dynamic Logic for Systems with Predicate-Based Communication;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020
4. Role-Based Development of Dynamically Evolving Esembles;Recent Trends in Algebraic Development Techniques;2019
5. Dynamic Logic for Ensembles;Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems;2018