Timed Automata Can Always Be Made Implementable

Patricia Bouyer, Kim Guldstrand Larsen, Nicholas Markey, Ocan Sankur, C. Thrane

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

16 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Timed Automata Can Always Be Made Implementable'. Sammen danner de et unikt fingeraftryk.

Mathematics

Computer Science