SL2SX

swMATH20160MaRDI QIDQ31982FDOQ31982

Author name not available (Why is that?)

Cited In (3)

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

This page was built for software: SL2SX