Kenneth Yrke Jørgensen
Systemadministrator
Niels Jernes Vej 14, C3-220
9220, Aalborg Ø
Danmark
Publikationer
(7)- Udgivet
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
Publikation: Forskning - peer review › Konferenceartikel i proceeding
- Udgivet
Time-Darts : A Data Structure for Verification of Closed Timed Automata
Publikation: Forskning - peer review › Konferenceartikel i tidsskrift
- Udgivet
A semantic-preserving transformation from the Compositional Interchange Format to UPPAAL
Publikation: Forskning - peer review › Bidrag til bog/antologi
Mest anvendte forlag
Mest anvendte tidsskrifter
Lecture Notes in Computer Science
ISSNs: 0302-9743, 0302-8743, 1865-0929
Springer, Tyskland
Central database
Tidsskrift: Bogserie
Electronic Proceedings in Theoretical Computer Science
ISSNs: 2075-2180
Open Publishing Association, Australien
Central database
Tidsskrift
Seneste aktiviteter og konferencer
Indlæser lokationer...
ID: 12374921