![](/img/cover-not-exists.png)
Deriving protocol specifications from service specifications written in LOTOS
Christian Kant, Teruo Higashino, Gregor von BochmannVolume:
10
Language:
english
Pages:
19
DOI:
10.1007/s004460050022
Date:
July, 1996
File:
PDF, 524 KB
english, 1996