Search
Subscription
Submission Procedure
Login
User: anonymous
Special Issues
Volume 14 (2008)
Volume 13 (2007)
Volume 12 (2006)
Volume 11 (2005)
Volume 10 (2004)
Volume 9 (2003)
Volume 8 (2002)
Volume 7 (2001)
Volume 6 (2000)
Volume 5 (1999)
Volume 4 (1998)
Volume 3 (1997)
Volume 2 (1996)
Volume 1 (1995)
Volume 0 (1994)
Articles by Topics
Articles by Author
Board of Editors
List of Topics
What's New
Geographical Mashup
Aims and Scope
Submission Procedure
Subscription
Printed Publications
Collection of other papers
Ernst-Rüdiger Olderog
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
