Urgent Partial Order Reduction for Extended Timed Automata

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

Fingeraftryk

Dyk ned i forskningsemnerne om 'Urgent Partial Order Reduction for Extended Timed Automata'. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab