×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of hubert-garavel
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP
213 views
TACAS 2003 Special Issue—Preface
213 views
Specification and verification of various distributed leader election algorithms for unidirectional ring networks
215 views