Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Ana Cavalcanti, Phil Clayton, Colin O Halloran. From control law diagrams to Ada via ::::Circus::::. Formal Asp. Comput., 23(4):465-512, 2011. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Control Law Diagrams in ::::Circus::::Ana Cavalcanti, Phil Clayton, Colin O Halloran. FM 2005: 253-268 [doi] Mechanised Translation of Control Law Diagrams into CircusFrank Zeyda, Ana Cavalcanti. IFM 2009: 151-166 [doi]
The following publications are possibly variants of this publication: