Using TOOMS/TROL for specifying a cellular phone.

Giacomo Bucci, Paolo Nesi

Browse the full ECRTS paper archive.