Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Henning Dierks
Department of Computing Science University of Oldenburg, Germany

E.-R. Olderog, H. Dierks:
Moby/RT: A Tool for Specification and Verification of Real-Time Systems
/jucs_9_2/mobyrt_a_tool_for
page 88 - 105
Vol.9 / Issue 2