Code Synthesis For Timed Automata

T. Amnell, E. Fersman, P. Pettersson, Hong Yan Sun, Y. Wang

Research output: Contribution to journal › Journal article › Research › peer-review

OpenUrl availability

@article{41eda40057a44cd5bd7901129bec55f2,

title = "Code Synthesis For Timed Automata",

author = "T. Amnell and E. Fersman and P. Pettersson and Sun, {Hong Yan} and Y. Wang",

year = "2002",

language = "English",

volume = "9",

pages = "269--300",

journal = "Nordic Journal of Computing",

issn = "1236-6064",

publisher = "University of Helsinki Department of Computer Science",

number = "4",

}