Model reductions in MDG-based model checking

Authors
Publication date
1 January 2001
Publisher

Abstract

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Dépôt Institutionnel Numérique

    redirect
    oaioai:papyrus.bib.umontreal.ca:1...
    Last time updated on 29/10/2023