Amal Khalil. Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts. PhD thesis, Queen's University at Kingston, Ontario, Canada, 2016. [doi]
@phdthesis{ca-68,
title = {Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts},
author = {Amal Khalil},
year = {2016},
url = {http://hdl.handle.net/1974/15230},
researchr = {https://researchr.org/publication/ca-68},
cites = {0},
citedby = {0},
school = {Queen's University at Kingston, Ontario, Canada},
}