Simulation-Based Abstractions for Software Product-Line Model Checking

Résultats de recherche: Autre contribution

62 Téléchargements (Pure)
langue originaleAnglais
Etat de la publicationPublié - 2011

Contient cette citation