Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science
Work detail
Bookitis Pick
FM
Image source: Open LibraryClaude Jard1 editions
This page groups all known editions belonging to the same underlying work.
Overview
Shared work-level identity and catalog context.
1 credited authorSearch language english
Contributors
People credited with this work in the active catalog.
- Open Author
Claude Jard
Editions
Publication-specific versions linked to this work only.
