Jürgen Ruf, Thomas Kropf. Formale Verifikation diskreter Echtzeitsysteme (Formal Verification of Discrete Real-Time Systems). it - Information Technology, 43(1):39-46, 2001. [doi]
No references recorded for this publication.
No citations of this publication recorded.