Sun Meng and Bernhard Aichernig. Component-based Coalgebraic Specification and Verification in RSL. Technical Report 267, UNU/IIST, October 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Coalgebraic Calculus for Component Based Systems - Meng, Aichernig Self-citation (Meng Aichernig) (Correct)
No context found.
Sun Meng and Bernhard Aichernig. Component-based Coalgebraic Specification and Verification in RSL. Technical Report 267, UNU/IIST, October 2002.
On Refinement of Generic Software Components - Meng, Barbosa (2003) (Correct)
No context found.
S. Meng and B. Aichernig. Component-based Coalgebraic Specification and Verification in RSL. Technical Report 267, UNU/IIST, October 2002.
Towards a Coalgebraic Semantics of UML: Class Diagrams and Use .. - Meng, Aichernig (2003) (3 citations) (Correct)
No context found.
M. Sun and B. Aichernig. Component-based Coalgebraic Specification and Verification in RSL. Technical Report 267, UNU/IIST, October 2002.
Coalg_{KPF}: Towards a Coalgebraic Calculus for.. - Meng, Aichernig (Correct)
No context found.
M. Sun and B. Aichernig. Component-based Coalgebraic Specification and Verification in RSL. Technical Report 267, UNU/IIST, October 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC