Author:
Gretz F.,Grosch F-J.,Mendler M.,Scheele S.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synchronised Shared Memory and Model Checking;ACM Transactions on Embedded Computing Systems;2023-10-02
2. Synchronised Shared Memory and Model Checking: A Proof of Concept;2021 Forum on specification & Design Languages (FDL);2021-09-08
3. Toward Object-oriented Modeling in SCCharts;ACM Transactions on Embedded Computing Systems;2021-06
4. Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech;2020 Forum for Specification and Design Languages (FDL);2020-09-15