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

Bidragets oversatte titel: 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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

22 Citationer (Scopus)
423 Downloads (Pure)

Søgeresultater