Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems.

Stephan Kleuker

Browse the full FORTE paper archive.