Seuraa
Adriel Luo
Adriel Luo
Tuntematon yhteys
Vahvistettu sähköpostiosoite verkkotunnuksessa aurorasolar.com
Nimike
Viittaukset
Viittaukset
Vuosi
CoasterX: A case study in component-driven hybrid systems proof automation
R Bohrer, A Luo, XA Chuang, A Platzer
IFAC-PapersOnLine 51 (16), 55-60, 2018
122018
RollerCoaster Tycoon X: Like the original, but safer
A Luo, XA Chuang
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–2