Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction
2011
Files
Details
Title
Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction
Author(s)
Bokor, Péter ; Kinder, Johannes ; Serafini, Marco ; Suri, Neeraj
Published in
Proc. 26th Int. Conf. Automated Software Engineering (ASE 2011)
Pages
113-122
Conference
26th Int. Conf. Automated Software Engineering, Lawrence, KS, USA, November 6–10, 2011
Date
2011
Publisher
IEEE
Laboratories
DSLAB
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > DSLAB - Dependable Systems Laboratory
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date
2011-07-25