Original language | English |
---|---|
Pages (from-to) | 335-382 |
Journal | Fundamenta Informaticae |
Volume | 40 |
Issue number | 4 |
Publication status | Published - 1999 |
Full abstractness of a metric semantics for action refinement
J.I. Hartog, den, E.P. Vink, de, J.W. Bakker, de
Research output: Contribution to journal › Article › Academic › peer-review
1
Citation
(Scopus)