Master :: Greg Brunet
Personal PagePublications
Interests: Merging, partial models, and multi-valued logics

Contact Information:

MSC Thesis:
[ 2005 -- 2006 ] A Characterization of Merging Partial Behavioural Models
Advisors:

Publications:


2006:
  • G. Brunet. ``A Characterization of Merging Partial Behavioural Models'' , Master Thesis, Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, January, 2006
    PS PDF Abstract

For questions and suggestions contact the webmaster
Formal Methods Group, CS Department, University of Toronto 2004