Showing 1 - 1 results of 1 for search 'Mufid, MSU', query time: 0.02s Refine Results
  1. 1
    SMT-based model checking of max-plus linear systems

    SMT-based model checking of max-plus linear systems by Mufid, MSU, Micheli, A, Abate, A, Cimatti, A

    Published 2021
    Conference item

Search Tools: