Showing 1 - 1 results of 1 for search 'E. M. Vinarskii', query time: 0.02s Refine Results
  1. 1
    On the verification of strictly deterministic behavior of Timed Finite State Machines

    On the verification of strictly deterministic behavior of Timed Finite State Machines by E. M. Vinarskii, V. A. Zakharov

    Published 2018-10-01
    Get full text
    Article

Search Tools: