Mostra 1 - 1 risultati di 1 ricerca 'Kol, Rakefet', tempo di risposta: 0,01s Raffina i risultati
  1. 1

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

    Pubblicazione 2008
    Libro

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

Strumenti per la ricerca: