Martin Kot. Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal. In Jaroslav Pokorný, Václav Snásel, Karel Richta, editors, Proceedings of the Dateso 2010 Annual International Workshop on DAtabases, TExts, Specifications and Objects, Stedronin-Plazy, Czech Republic, April 21-23, 2010. Volume 567 of CEUR Workshop Proceedings, pages 147-154, CEUR-WS.org, 2010. [doi]
@inproceedings{Kot10-0,
title = {Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal},
author = {Martin Kot},
year = {2010},
url = {http://ceur-ws.org/Vol-567/poster23.pdf},
tags = {modeling},
researchr = {https://researchr.org/publication/Kot10-0},
cites = {0},
citedby = {0},
pages = {147-154},
booktitle = {Proceedings of the Dateso 2010 Annual International Workshop on DAtabases, TExts, Specifications and Objects, Stedronin-Plazy, Czech Republic, April 21-23, 2010},
editor = {Jaroslav Pokorný and Václav Snásel and Karel Richta},
volume = {567},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}