Scott A. Smolka
Use attributes for filter ! | |
H index | 54 |
---|---|
Books | Introduction to Operating System Design and Implementation: The OSP 2 Approach |
Affiliations | State University Of New York At Stony Brook |
Interests | Model Checking |
Runtime Verification | |
Computational Biology | |
Date of Reg. | |
Date of Upd. | |
ID | 4176239 |
About Scott A. Smolka
Scott A. Smolka is a SUNY Distinguished Professor in the Department of Computer Science at Stony Brook University, Stony Brook, New York.