Lehrgebiet Informationssysteme
FB Informatik
LG IS
AG DBIS
AG HIS
Jobs / Tasks
Courses
Publications
Contact
Misc
Impressum
(C) AG DBIS
Verification of taDOM Locking Protocols
Use Cases for Node Operations:
36 specified
Protocol checks:
Protocol taDOM2:
Ok
Protocol taDOM2plus:
Ok
Protocol taDOM3:
Ok
Protocol taDOM3plus:
Ok
