An embedding of timed transition systems in \(HOL\) (Q1309256): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q902687
Property / author
 
Property / author: John H. Herbert / rank
Normal rank
 

Revision as of 11:51, 21 February 2024

scientific article
Language Label Description Also known as
English
An embedding of timed transition systems in \(HOL\)
scientific article

    Statements

    An embedding of timed transition systems in \(HOL\) (English)
    0 references
    0 references
    0 references
    0 references
    13 March 1994
    0 references
    0 references
    specifying and reasoning about real-time systems
    0 references
    HOL theorem prover
    0 references