GenCCSL

swMATH15831MaRDI QIDQ27703FDOQ27703

Author name not available (Why is that?)

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