Martin Strecker. Abstraction and Verification of Properties of a Real-Time Java. In Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Vitaliy Kobets, editors, Proceedings of the 8th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 6-10, 2012. Volume 848 of CEUR Workshop Proceedings, pages 13, CEUR-WS.org, 2012. [doi]
@inproceedings{Strecker12,
title = {Abstraction and Verification of Properties of a Real-Time Java},
author = {Martin Strecker},
year = {2012},
url = {http://ceur-ws.org/Vol-848/ICTERI-2012-CEUR-WS-Invited-3-p-13.pdf},
researchr = {https://researchr.org/publication/Strecker12},
cites = {0},
citedby = {0},
pages = {13},
booktitle = {Proceedings of the 8th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 6-10, 2012},
editor = {Vadim Ermolayev and Heinrich C. Mayr and Mykola Nikitchenko and Aleksander Spivakovsky and Grygoriy Zholtkevych and Mikhail Zavileysky and Vitaliy Kobets},
volume = {848},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}