Beyond ProCoS at Kiel: A synopsis of recent research |
|
| Type | Conference paper [Without referee] |
| Conference | ProCoS WG Workshop at FM 99 |
| Editors | Jonathan Bowen |
| Year | 1999 Month September |
| Publisher | Springer electronic media |
| Publication link | http://www.imm.dtu.dk/~mf/Kiel-post-ProCoS.ps.gz |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |