Ralf Klafka
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1994
A new approach to performance evaluation of formally specified protocols.
Proceedings of the Formal Description Techniques VII, 1994