Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/cav/LaarmanODLP13
AU - Laarman, Alfons
AU - Olesen, Mads Chr.
AU - Dalsgaard, Andreas Engelbredt
AU - Larsen, Kim Guldstrand
AU - Pol, Jaco van de
TI - Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction.
BT - Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
SP - 968
EP - 983
PY - 2013//
DO - 10.1007/978-3-642-39799-8_69
UR - https://doi.org/10.1007/978-3-642-39799-8_69
UR - https://www.wikidata.org/entity/Q62047448
ER -
