Scott A. Smolka
5 published titles
Handbook of process algebra
(Contributor)
1 edition
- ISBN: 0444828303
- Elsevier
- 2001
- Details
Interactive computation : the new paradigm
(Contributor)
1 edition
- ISBN: 9783540346661
- Springer
- 2006
- Details
Introduction to operating system design and implementation : the OSP 2 approach
(Contributor)
1 edition
- ISBN: 9781846288432
- Springer
- 2007
- Details
Tools and algorithms for the construction and analysis of systems : 19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS
(Contributor)
1 edition
- ISBN: 9783642367410
- Springer
- 2013
- Details
Runtime verification : 5th international conference, RV 2014, Toronto, On, Canada, September 22-25, 2014, proceedings
(Contributor)
1 edition
- ISBN: 9783319111636
- Springer
- 2014
- Details
