APA Style
CHKLIAEV, DMITRI ALEKSANDROVICH. (2001).
Mechanical verification of concurrency control and recovery protocols (1).
Eindhoven:
Technische Universiteit Eindhoven.
Chicago Style
CHKLIAEV, DMITRI ALEKSANDROVICH.
Mechanical verification of concurrency control and recovery protocols.
1
Eindhoven:
Technische Universiteit Eindhoven,
2001.
TXB.
MLA Style
CHKLIAEV, DMITRI ALEKSANDROVICH.
Mechanical verification of concurrency control and recovery protocols.
1
Eindhoven:
Technische Universiteit Eindhoven,
2001.
TXB.
Turabian Style
CHKLIAEV, DMITRI ALEKSANDROVICH.
Mechanical verification of concurrency control and recovery protocols.
1
Eindhoven:
Technische Universiteit Eindhoven,
2001.
TXB.