Agarwal, Akanksha (2011) Trace Abstraction Based on Automatic Detection of Execution Phases. Masters thesis, Concordia University.
Agarwal_MASc_S2011.pdf - Accepted Version
|Divisions:||Concordia University > Faculty of Engineering and Computer Science > Electrical and Computer Engineering|
|Item Type:||Thesis (Masters)|
|Degree Name:||M.A. Sc.|
|Program:||Electrical and Computer Engineering|
|Date:||10 January 2011|
|Deposited By:||AKANKSHA AGARWAL|
|Deposited On:||08 Jun 2011 18:31|
|Last Modified:||04 Nov 2016 23:33|
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.
Repository Staff Only: item control page