Login / Signup
Design and verification of long-running transactions in a timed framework.
Ruggero Lanotte
Andrea Maggiolo-Schettini
Paolo Milazzo
Angelo Troina
Published in:
Sci. Comput. Program. (2008)
Keyphrases
</>
long running
database
databases
data streams
user interface