Login / Signup
Verifying the Progress Properties of a Heterogeneous Protocol System in an Internetworking Environment.
Debanjan Saha
Published in:
Comput. Commun. (1995)
Keyphrases
</>
mobile robot
database
multiple autonomous
real time
lightweight
structural properties
information systems
dynamic environments
desirable properties