Aarhus Universitets segl

English

Du er her: AU » Om AU » Organisation » Transaction-based specification and verification of real-...

Om AU

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

Publikation: Working paper/Preprint › Working paper › Forskning

  • Lars Bækgaard, Danmark
  • Jens Christian Godskesen
OriginalsprogEngelsk
StatusUdgivet - 1995
Eksternt udgivetJa

Se relationer på Aarhus Universitet Citationsformater

ID: 42031019