Towards a Modular Specification and Verification of Protocols within a Layered Architecture.

Younes Souissi

Browse the full FORTE paper archive.