Artículos

  • Modular model checking of software specifications with simultaneous environment generation [2004]

    Categoría:
    Artículos
    Autores:
    Pablo Javier Tuya González , Claudio A. de la Riva Álvarez
    Fecha:
    01 de Enero de 2004
    Es parte de:
    Lecture Notes in Computer Science, 3299