Transaction-based specification and verification of real-time dynamic database constraints

Lars Bækgaard, Jens Christian Godskesen

Publikation: Working paper/Preprint Working paperForskning

OriginalsprogEngelsk
StatusUdgivet - 1995
Udgivet eksterntJa

Citationsformater