Följ
Adriel Luo
Adriel Luo
Okänd anknytning
Verifierad e-postadress på aurorasolar.com
Titel
Citeras av
Citeras av
År
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–2