Login | Register

Items where Author is "Abbasi, Naeem"

Up a level
Export as
Group by: Item Type | No Grouping
Number of items: 2.

Abbasi, Naeem (2012) Formal Reliability Analysis using Higher-order Logic Theorem Proving. PhD thesis, Concordia University.

Hasan, Osman and Tahar, Sofiène and Abbasi, Naeem (2010) Formal Reliability Analysis Using Theorem Proving. IEEE Transactions on Computers, 59 (5). pp. 579-592. ISSN 0018-9340

This list was generated on Sat Jul 23 03:20:32 2016 EDT.
Back to top Back to top