"A Comparison of Three Model Checkers Applied to a Distributed Database ..."

A. J. Currie (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics