Understanding Clock Constraints Coalgebraically.

Grygoriy Zholtkevych, Maksym Labzhaniia

Browse the full ICTERI paper archive.