A temporal logic approach to discrete event control for the safety canonical class (Q671584)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A temporal logic approach to discrete event control for the safety canonical class
scientific article

    Statements

    Identifiers