|
СТ |
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 |
|
П |
Investigating Semantic Notions for Coloured Dataflow Netwirks |
1996 |
Virbitskaite I., Votintseva A., Chkliaev D. |
|
|
Univ. Hildesheim |
|
22.04.1998 |
|
П |
Investigating Semantic Notions for Coloured Dataflow Networks |
1996 |
Virbitskaite I., Votintseva A., Chkliaev D. |
|
|
Hildesheimer Informatik-Berichte |
|
06.04.1998 |
