Full abstractness of a metric semantics for action refinement

    Research output: Contribution to journalArticleAcademicpeer-review

    1 Citation (Scopus)
    Original languageEnglish
    Pages (from-to)335-382
    JournalFundamenta Informaticae
    Volume40
    Issue number4
    Publication statusPublished - 1999

    Cite this