Publikationer
(2)- Udgivet
New Results on Timed Specifications
Publikation: Forskning - peer review › Bidrag til bog/antologi
- Udgivet
Model checking of time Petri nets using the state class timed automaton
Publikation: Forskning - peer review › Konferenceartikel i tidsskrift
Mest anvendte tidsskrifter
ID: 44970451