Scott A. Smolka profile picture

Scott A. Smolka

OSP: An Environment for Operating System Projects
Interactive Computation
CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings (Lecture Notes in Computer Science)
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Runtime Verification
Interactive Computation The New Paradigm
Interactive Computation The New Paradigm
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings