Hans Hansson;Bengt Jonsson;Fredrik Orava;Björn Pehrson
-;-;-;-
Synthesis of Communication Protocols: Survey and Assessment
IEEE Transactions on Computers - Special issue on protocol engineering