A Protocol Checker for Nautilus Language.

Cludio Naoto Fuzitaki, Paulo Blauth Menezes, Jlio Henrique Arajo Pereira Machado

Browse the full PDPTA paper archive.