Refinement Calculus of Reactive Systems

Viorel Preoteasa, Stavros Tripakis

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    14 Citations (Scopus)
    Original languageEnglish
    Title of host publicationInternational conference on embedded software, EMSOFT2014, 12-17 October, New Delhi, India
    Place of PublicationNew York
    PublisherACM
    Pages2
    ISBN (Print)978-1-4503-3052-7
    Publication statusPublished - 2014
    MoE publication typeA4 Article in a conference publication

    Cite this