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}
}



See alexandria.tue.nl ...
© University of Duisburg-Essen, Theoretical Computer Science group