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]
Abstract is missing.