On the Construction of Sorted Reactive Systems (Q3541020)

From MaRDI portal
Revision as of 02:35, 15 February 2024 by RedirectionBot (talk | contribs) (‎Removed claims)
scientific article
Language Label Description Also known as
English
On the Construction of Sorted Reactive Systems
scientific article

    Statements

    On the Construction of Sorted Reactive Systems (English)
    0 references
    0 references
    25 November 2008
    0 references
    0 references