Cover Image
Read Now

1
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... scheme for a distributed database system — A trial to break concurrent update of redundant copies...”
Cover Image
Read Now

2
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... of Database Applications -- ProB: A Model Checker for B -- Security -- SAT-Based Model-Checking of Security...”