swMATH26907MaRDI QIDQ38629FDOQ38629
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?id=2594310
Cited In (9)
- Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
- Quartz
- NAT2TEST
- DeltaJ
- DarwinSPL
- DeltaEcore
- JOANA
- SCEst
This page was built for software: SCCharts
