Cited By
View all- Ling XMaibaum TAguirre N(2007)Design in CommUnity with extension morphismsFormal methods and hybrid real-time systems10.5555/1793874.1793894(435-466)Online publication date: 1-Jan-2007
- Aguirre NRegis GMaibaum T(2007)Verifying temporal properties of community designsProceedings of the 6th international conference on Integrated formal methods10.5555/1770498.1770499(1-20)Online publication date: 2-Jul-2007
- Fiadeiro JLopes A(2007)An algebraic semantics of event-based architecturesMathematical Structures in Computer Science10.1017/S096012950700629917:5(1029-1073)Online publication date: 1-Oct-2007
- Show More Cited By