1
Runtime Verification [E-Book] : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
2
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
3
Introduction to Operating System Design and Implementation [E-Book] : The OSP 2 Approach /
4
Interactive Computation [E-Book] : The New Paradigm /
Other Personal Name(s): ...Smolka, Scott A....

Full text 
5
Priority as extremal probability.
Book
Other Personal Name(s): ...Smolka, S. A....