Original language | Undefined/Unknown |
---|---|
Title of host publication | Mathematical foundations of computer science 1995 |
Editors | J. Wiedermann, P. Hajek |
Place of Publication | Berlijn |
Publisher | Springer-Verlag |
Pages | 509-518 |
Number of pages | 10 |
ISBN (Print) | 3540602461 |
Publication status | Published - 1995 |
Syntax and semantics of procol
RA van der Goot, A (Arie) de Bruin
Research output: Chapter/Conference proceeding › Chapter › Academic