Erakusten 1 - 2 emaitzak -- 2 bilaketa honetara 'Esparza, Javier', Bilaketaren denbora: 0,01s Findu emaitzak
  1. 1
    Unfolding a partial-order approach to model checking
    nork Esparza, Javier
    Argitaratua 2008
    Printed Book
  2. 2
    Finite and algorithmic model theory /
    Argitaratua 2011
    Beste egile batzuk: “...Esparza, Javier...”
    Cover image
    Printed Book
Bilaketa egiteko lanabesak: RSS — Emaitzak posta elektronikoz bidali