The PET and DINGO tools for deriving distributed implementations from Estelle
Rachid Sijelmassi, Brett StrausserVolume:
25
Year:
1993
Language:
english
Pages:
11
DOI:
10.1016/0169-7552(93)90051-5
File:
PDF, 945 KB
english, 1993