Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets.

Teemu Tynjl, Sari Leppnen, Vesa Luukkala

Browse the full FORTE paper archive.