A new approach to performance evaluation of formally specified protocols.

Stefan Bhmer, Ralf Klafka

Browse the full FORTE paper archive.