Showing 1 - 1 results of 1 for search 'Yoeli, Michael 1917-', Forespørselstid: 0.01s Refine Results
  1. 1

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS af Yoeli, Michael 1917-

    Udgivet 2008
    Bog

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Søgeredskaber: