Inference of timed transition systems (Q2851066)

From MaRDI portal





scientific article; zbMATH DE number 6213309
Language Label Description Also known as
English
Inference of timed transition systems
scientific article; zbMATH DE number 6213309

    Statements

    0 references
    0 references
    0 references
    2 October 2013
    0 references
    Inference of timed transition systems (English)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references