Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm. From Safety Critical Java Programs to Timed Process Models. In Chiara Bodei, Gian Luigi Ferrari, Corrado Priami, editors, Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Volume 9465 of Lecture Notes in Computer Science, pages 319-338, Springer, 2015. [doi]
@inproceedings{ThomsenLLB15,
title = {From Safety Critical Java Programs to Timed Process Models},
author = {Bent Thomsen and Kasper Søe Luckow and Lone Leth and Thomas Bøgholm},
year = {2015},
doi = {10.1007/978-3-319-25527-9_21},
url = {http://dx.doi.org/10.1007/978-3-319-25527-9_21},
researchr = {https://researchr.org/publication/ThomsenLLB15},
cites = {0},
citedby = {0},
pages = {319-338},
booktitle = {Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
editor = {Chiara Bodei and Gian Luigi Ferrari and Corrado Priami},
volume = {9465},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-25526-2},
}