Skip to content
Vinony

Scott A. Smolka

No biography available.

Works (6)

Cover of Interactive computation
Interactive computation
Cover of Runtime Verification
Runtime Verification
Cover of Concur '95 - Concurrency Theory
Concur '95 - Concurrency Theory
Cover of Introduction to operating system design and implementation
Introduction to operating system design and implementation
Cover of Interactive Computation
Interactive Computation
Cover of Handbook of process algebra
Handbook of process algebra