Simulation and formal specification of protocols for mobile radio networks-an integrated approach.

Eva Hedman, Simon Hoff

Browse the full VTC paper archive.