Traces in PC/DC | Torben Hoffmann, Michael Bruun Petersen, Hans Rischel, Michael R. Hansen
| | Type | Conference paper [With referee] | | Conference | Proc. of the 10th European Summer School in Logic Language and Information (ESSLLI'98) Workshop on Duration Calculus | | Editors | Michael R. Hansen | | Year | 1998 pp. 69-78 | | Publisher | | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|