Main Navigation
Main Content
Sidebar
Register
Login
Toggle navigation
Scalable Computing: Practice and Experience
SCPE
Editorial Team
Call for papers
Submissions
Current Issue
Archives
About
About the Journal
Journal Indexing
Contact
Steering committee
Search
Preuig, J.
Scalable Computing: Practice and Experience Vol. 1 No. 2 (1998)
- Special Issue Papers
Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems
Abstract