Login / Signup

Using Abstract State Machines for the Design of Multi-level Transaction Schedulers.

Markus KirchbergKlaus-Dieter ScheweJane Zhao
Published in: Rigorous Methods for Software Construction and Analysis (2009)
Keyphrases