A Formal Specification, in LOTOS, of a Simplified Cellular Mobile Communication System.

Richard C. Cam, Son T. Vuong

Browse the full FORTE paper archive.