Resultados de la búsqueda

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

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