Modal Logics for Nominal Transition Systems
- Författare
- Joachim Parrow
- Genre
- Statlig publikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Information Technology, Uppsala University | 2015 | Sverige |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Information Technology, Uppsala University | 2015 | Sverige |