1
Runtime Verification [E-Book] : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
Other Personal Name(s): “...Smolka, Scott A....”

Full text 
Favorites
Saved in:
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 /
Other Personal Name(s): “...Smolka, Scott A....”

Full text 
Favorites
Saved in:
3
Introduction to Operating System Design and Implementation [E-Book] : The OSP 2 Approach /
Other Personal Name(s): “...Smolka, Scott A....”

Full text 
Favorites
Saved in:
4
Interactive Computation [E-Book] : The New Paradigm /
Other Personal Name(s): “...Smolka, Scott A....”

Full text 
Favorites
Saved in:

Narrow Search Results