Search Results

Suggested Topics within your search.
  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Advances in verification of time petri nets and timed automata : a temporal logic approach /

    Advances in verification of time petri nets and timed automata : a temporal logic approach / by Penczek, Wojciech

    Published 2006
    View in OPAC
    Book
  2. 2
    A real time approach to process control /

    A real time approach to process control / by Svrcek, William Y.

    Published 2000
    View in OPAC
    Book

Search Tools: