Formal specification of ISO virtual terminal in Estelle.

Paul D. Amer, Figen Ceceli, Guy Juanole

Browse the full INFOCOM paper archive.