← Back to Browse
Formal mechanization of device interactions with a process algebra

Formal mechanization of device interactions with a process algebra

by E. Thomas Schubert

Related Books