Showing 1 - 1 results of 1 for search 'Nancy A. Lynch, Stephen J. Garland.', query time: 0.02s Refine Results
  1. 1
    Automatic verification of the timing properties of MMT automata

    Automatic verification of the timing properties of MMT automata by Söylemez, Ekrem Sezer

    Published 2006
    Other Authors: “…Nancy A. Lynch, Stephen J. Garland.…”
    Get full text
    Thesis

Search Tools: