Karsten Wolf. Portfolio Management in Explicit Model Checking. In Michael Köhler-Bußmeier, Ekkart Kindler, Heiko Rölke, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference). Volume 2651 of CEUR Workshop Proceedings, pages 10-28, CEUR-WS.org, 2020. [doi]
@inproceedings{Wolf20-6,
title = {Portfolio Management in Explicit Model Checking},
author = {Karsten Wolf},
year = {2020},
url = {http://ceur-ws.org/Vol-2651/paper2.pdf},
researchr = {https://researchr.org/publication/Wolf20-6},
cites = {0},
citedby = {0},
pages = {10-28},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference)},
editor = {Michael Köhler-Bußmeier and Ekkart Kindler and Heiko Rölke},
volume = {2651},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}