Scott A. Smolka (Q93947062)
Jump to navigation
Jump to search
computer scientist
- Scott Allen Smolka
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Scott A. Smolka |
computer scientist |
|
Statements
1 reference
1 reference
19 January 2022
1 reference
2021
19 January 2022
For contributions in process algebra, model checking, and runtime verification (English)
1 reference
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Scott A. Smolka