Login / Signup
Ingrid Chieh Yu
Publication Activity (10 Years)
Years Active: 2004-2024
Publications (10 Years): 39
Top Topics
Product Lines
Coloured Petri Nets
Metamodel
Model Checking
Top Venues
NIK
ISoLA (2)
MODELSWARD
J. Log. Algebraic Methods Program.
</>
Publications
</>