Modeling and analysis of a time-stamp history based certification protocol for concurrency control
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Betriebs- und Dialogsysteme (IBDS) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 1991 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 122291 |
| Erscheinungsvermerk | IEEE trans. on knowledge and data engng. 3 (1991) S. 525-537. |