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.