GenCCSL

MaRDI QIDQ27703swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-319-17581-2_12

Described by source

• Coalgebraic semantic model for the clock constraint specification language

Cited in

(2)

• Polychrony
• TimeSquare

This page was built for software: GenCCSL