Title: Formal description techniques, V
First published: 1993
Subjects: Congresses, Computer network protocols, Electronic data processing, Distributed processing, Formal languages
LC classification: QA76.9.D5 I338 1992