Vol-566⫷ Vol-567 ⫸Vol-568
urn:nbn:de:0074-567-0


None⫷None⫸None

Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal