Holger Giese. A formal calculus for the compositional pattern-based design of correct real-time systems. Technical Report tr-ri-03-240, Computer Science Department, University of Paderborn, July 2003. 27 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Towards the Compositional Verification of Real-Time.. - Giese, Schilling.. (2003) Self-citation (Giese) (Correct)
No context found.
Holger Giese. A formal calculus for the compositional pattern-based design of correct real-time systems. Technical Report tr-ri-03-240, Computer Science Department, University of Paderborn, July 2003. 27
Towards the Compositional Verification of Real-Time.. - Giese, TIchy.. (2003) Self-citation (Giese) (Correct)
No context found.
Holger Giese. A formal calculus for the compositional pattern-based design of correct real-time systems. Technical Report tr-ri-03-240, Computer Science Department, University of Paderborn, July 2003.
Towards the Compositional Verification of Real-Time.. - Giese, Tichy.. (2003) Self-citation (Giese) (Correct)
No context found.
Holger Giese. A formal calculus for the compositional pattern-based design of correct real-time systems. Technical Report tr-ri-03-240, Computer Science Department, University of Paderborn, July 2003.
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