SL2SX

swMATH20160MaRDI QIDQ31982FDOQ31982

Author name not available (Why is that?)

Official website: http://ieeexplore.ieee.org/document/7387704/

Cited In (5)

• Mechanically proving determinacy of hierarchical block diagram translations
• The refinement calculus of reactive systems
• ClawZ
• Zelus
• A denotational semantics of simulink with higher-order UTP

This page was built for software: SL2SX