Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

Fredrik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muniz, Jiri Srba

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

7 Citationer (Scopus)

233 Downloads (Pure)

7 Citationer
1 Ph.d.-afhandling

1 resultater

Filter

2021

Time For Stubborn Game Reductions
Bønneland, F. M., 2021, Aalborg Universitetsforlag. 165 s.
Publikation: Ph.d.-afhandling

Åben adgang
Fil

226 Downloads (Pure)