Original language | English |
---|---|
Journal | Theoretical Computer Science |
Volume | 152 |
Pages (from-to) | 251-268 |
ISSN | 0304-3975 |
Publication status | Published - 1995 |
A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours
Luca Aceto, A. S. A. Jeffrey
Research output: Contribution to journal › Journal article › Research › peer-review
15
Citations
(Scopus)