Segueix
Adriel Luo
Adriel Luo
Afiliació desconeguda
Correu electrònic verificat a aurorasolar.com
Títol
Citada per
Citada per
Any
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
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–2