Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

85 Downloads (Pure)

Original language	English
Title of host publication	Proc. 26th Int. Conf. Automated Software Engineering (ASE 2011)
Pages	113-122
DOIs	https://doi.org/10.1109/ASE.2011.6100044
Publication status	Published - 2011

Access to Document

@inproceedings{90dc2c0c850046ec88336c85fcc8150d,

title = "Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction",

author = "P{\'e}ter Bokor and Johannes Kinder and Marco Serafini and Neeraj Suri",

year = "2011",

doi = "10.1109/ASE.2011.6100044",

language = "English",

pages = "113--122",

booktitle = "Proc. 26th Int. Conf. Automated Software Engineering (ASE 2011)",

}

TY - GEN

T1 - Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction

AU - Bokor, Péter

AU - Kinder, Johannes

AU - Serafini, Marco

AU - Suri, Neeraj

PY - 2011

Y1 - 2011

U2 - 10.1109/ASE.2011.6100044

DO - 10.1109/ASE.2011.6100044

M3 - Conference contribution

SP - 113

EP - 122

BT - Proc. 26th Int. Conf. Automated Software Engineering (ASE 2011)

ER -