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

6 Citationer (Scopus)
219 Downloads (Pure)
  • 6 Citationer
  • 1 Ph.d.-afhandling

Søgeresultater