Interval-based Specification of Concurrent Objects |
|
| Type | Conference paper [With referee] |
| Conference | ESSLLI'98 workshop on Duration Calculus |
| Editors | Michael R. Hansen |
| Year | 1998 Month August pp. 111-131 |
| Publisher | |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |