"Formal Specification and Verification of the MISSI Sender and Local Cache ..."

Milica Barjaktarovic (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics