Akademska digitalna zbirka SLovenije - logo
(UM)
Full text
  • Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings
    International SPIN Workshop (16 ; 2009 ; Grenoble)
    Type of material - proceedings of conference contributions
    Publication and manufacture - Berlin ; Heidelberg ; New York : Springer, 2009
    Language - english
    ISBN - 978-3-642-02651-5; 3-642-02651-6
    COBISS.SI-ID - 13289494