Вы здесь
Van Der Stok P.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Mechanical Verification of Transaction Processing Systems | 2000 | Chkliaev D., Hooman J., Van Der Stok P. | Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000 | 26.12.2000 | |||
| СТ | Serializability Preserving Extensions of Concurrency Control Protocols | 1999 | Chkliaev D., Hooman J., Van Der Stok P. | Perspectives of System Informatics: Preliminary Proc. of A.Ershov Third Intern. Conf. | 01.07.1999 |