Files
Details
Title
A pragmatic formal approach to protocol specification and implementation
Author(s)
Warkentyne, Henry
Advisor(s)
Pagination
152
Date
1994
Publisher
Lausanne, EPFL
Language
English
Record Appears in
Scientific production and competences > EPFL Theses
Work produced at EPFL
Published
Theses
Work produced at EPFL
Published
Theses
Record creation date
2005-03-16