Abstraction and Completeness for Real-Time Maude (Q2873773)

From MaRDI portal
scientific article
In more languages
Configure
Language Label Description Also known as
English
Abstraction and Completeness for Real-Time Maude
scientific article

    Statements

    Identifiers