Formal specification and verification of communication protocols using automated tools .

Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour

Browse the full ICECCS paper archive.