| Original language | English |
|---|---|
| Title of host publication | Proceedings of CALCO Young Researchers Workshop (CALCO-jnr 2005) |
| Place of Publication | Swansea, Wales |
| Publication status | Published - 2005 |
Constructing Sequential Machines from Coinductive Specifications (abstract)
H.H. Hansen, D. de Oliveira-Costa
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review