Refinement of communication and states in models of embedded systems
Reference
Harsh Beohar. Refinement of communication and states in models of embedded systems. PhD thesis, Department of Mathematics and Computer Science, Eindhoven university of technology, January 2013.
Suggested BibTeX entry:
@phdthesis{hb-phd,
address = {Eindhoven university of technology},
author = {Harsh Beohar},
month = {January},
school = {Department of Mathematics and Computer Science},
title = {Refinement of communication and states in models of embedded systems},
year = {2013}
}