What good are digital clocks? (Q5204346)

From MaRDI portal
scientific article; zbMATH DE number 7139660
Language Label Description Also known as
English
What good are digital clocks?
scientific article; zbMATH DE number 7139660

    Statements

    What good are digital clocks? (English)
    0 references
    0 references
    0 references
    0 references
    4 December 2019
    0 references
    0 references
    temporal logic
    0 references
    linear temporal logic
    0 references
    atomic proposition
    0 references
    verification method
    0 references
    0 references
    0 references
    0 references