Performance analysis of probabilistic timed automata using digital clocks

Research output: Contribution to journalArticlepeer-review

Colleges, School and Institutes

Details

Original languageUndefined/Unknown
JournalFormal Methods in System Design
Publication statusPublished - 2006