Mechanical verification of concurrency control and recovery protocols
By: Dmitri Chkliaev
Contributors: Technische Universiteit Eindhoven
Published: 2001
Language: eng
Number of pages: 152
Notes: Thesis (doctoral)--Technische Universiteit Eindhoven, 2001.