Sven Schewe
| Use attributes for filter ! | |
| Books | Synthesis of Distributed Systems |
|---|---|
| Affiliations | University Of Liverpool |
| Interests | Automata Theory |
| Synthesis | |
| Game Theory | |
| Model Checking | |
| Verification | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3934772 |
| Use attributes for filter ! | |
| Books | Synthesis of Distributed Systems |
|---|---|
| Affiliations | University Of Liverpool |
| Interests | Automata Theory |
| Synthesis | |
| Game Theory | |
| Model Checking | |
| Verification | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3934772 |