|
|
Algorithmic Game Semantics: A Tutorial Introduction
S. Abramsky infobook title | Proceedings of the NATO Advanced Study Institute, Marktober- dorf |
chapter | Proof and System Reliability |
editor | H. Schichtenberg and R. Steinbrüggen |
pages | 21-47 |
publisher | Kluwer Academic Publishers |
year | 2001 |
links
BibTeX
Download (ps)
related pages
|
|
|
|
