Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction

Alfons Laarman, Mads Chr. Olesen, Andreas Dalsgaard, Kim G. Larsen, Jaco van de Pol

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

25 Citations (Scopus)
578 Downloads (Pure)

Search results