Search Results

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

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