Partial order reduction for reachability games

Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jiří Srba

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

9 Citationer (Scopus)
80 Downloads (Pure)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Partial order reduction for reachability games'. Sammen danner de et unikt fingeraftryk.

Computer Science

Keyphrases