Showing 1 - 1 results of 1 for search 'Syifaul Mufid, M', query time: 0.02s Refine Results
  1. 1
    Abstractions and formal verification of max-plus linear systems

    Abstractions and formal verification of max-plus linear systems by Syifaul Mufid, M

    Published 2021
    Thesis

Search Tools: