| Author(s) |
M. Kirchberg
Klaus-Dieter Schewe
J. Zhao
|
| Title |
Using Abstract State Machines for the Design of Multi-Level Transaction Schedulers |
| Booktitle |
Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday |
| Typ |
Incollection |
| Year |
2009 |
| Volume |
5115 |
| Serie |
Lecture Notes in Computer Science |
| Pages |
64-76 |
| Editor(s) |
J.-R. Abrial, U. Glaesser |
| Publisher |
Springer |