Items where Author is "Mizouni, Rabeb"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 2.
Thesis
Mizouni, Rabeb (2008) Formal composition of partial system behaviors. PhD thesis, Concordia University.
Mizouni, Rabeb (2003) A hybrid tool for linking HOL theorem proving with MDG model checking. Masters thesis, Concordia University.
