Skip to main navigation Skip to search Skip to main content

Full abstractness of a metric semantics for action refinement

    Research output: Contribution to journalArticleAcademicpeer-review

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

    Cite this