Search Results

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

    Category:
    Artículos
    Authors:
    Claudio A. de la Riva Álvarez , Pablo Javier Tuya González
    Date:
    01 of January of 2004
    It Is a Part of:
    Lecture Notes in Computer Science, 3299