On-the-Fly Determinization of Networks of Timed Automata

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Finished
CRYSTAL - Critical Systems Engineering Factories
Aichernig, B. (Project manager) & Lorber, F. L. (Attendee / Assistant)
1/05/13 → 30/04/16
Project: Research project

Projects