MoTraS: A Tool for Modal Transition Systems and Their Extensions (Q5166714)

From MaRDI portal
Revision as of 02:21, 1 March 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 6314181
Language Label Description Also known as
English
MoTraS: A Tool for Modal Transition Systems and Their Extensions
scientific article; zbMATH DE number 6314181

    Statements

    MoTraS: A Tool for Modal Transition Systems and Their Extensions (English)
    0 references
    0 references
    0 references
    8 July 2014
    0 references
    0 references