Publisher
Springer Berlin Heidelberg
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compositional Verification in Action;Formal Methods for Industrial Critical Systems;2018
2. Modelling Without a Modelling Language;Model Checking Software;2018
3. When Do We Not Need Complex Assume-Guarantee Rules?;ACM Transactions on Embedded Computing Systems;2017-04-14
4. External Behaviour of Systems of State Machines with Variables;Transactions on Petri Nets and Other Models of Concurrency VII;2013
5. Behavioral Constraints for Services;Lecture Notes in Computer Science;2007