Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction
2011
Files
Détails
Titre
Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction
Auteur(s)
Bokor, Péter ; Kinder, Johannes ; Serafini, Marco ; Suri, Neeraj
Publié dans
Proc. 26th Int. Conf. Automated Software Engineering (ASE 2011)
Pages
113-122
Présenté à
26th Int. Conf. Automated Software Engineering, Lawrence, KS, USA, November 6–10, 2011
Date
2011
Editeur
IEEE
Mots-clés (libres)
Laboratoires
DSLAB
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > DSLAB - Laboratoire des systèmes fiables
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Publié
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Publié
Date de création de la notice
2011-07-25