The UofO LOTOS Research Group: Theses
PhD Thesis of Hans van der Schoot
"Improving state exploration techniques for the automatic verification of concurrent systems"
, University of Ottawa, January 1999.
title.pdf
acknowledgements.pdf
abstract.pdf
table_of_contents.pdf
list_of_figures.pdf
list_of_tables.pdf
chapter_1.pdf
chapter_2.pdf
chapter_3.pdf
chapter_4.pdf
chapter_5.pdf
chapter_6.pdf
chapter_7.pdf
chapter_8.pdf
bibliography.pdf
appendix.pdf
Go
Go
Help on