Skip to main navigation Skip to search Skip to main content

LMC: A SYSTEM FOR THE SPECIFICATION AND EVALUATION OF LOGIC-BASED MODEL CHECKING

    Project: Research

    Project Details

    StatusActive
    Effective start/end date08/15/97 → …