Symmetry Reduction and Symbolic Data Structures for Model Checking of Distributed Systems

Colange, Maximilien

by Maximilien Colange

Reference:

Symmetry Reduction and Symbolic Data Structures for Model Checking of Distributed Systems (Maximilien Colange), PhD thesis, Université Pierre et Marie Curie, 2013.

Bibtex Entry:

@phdthesis{colange2013these,
	Address = {Paris, France},
	Author = {Colange, Maximilien},
	Month = {December},
	School = {{U}niversit{\'e} {P}ierre et {M}arie {C}urie},
	Title = {{S}ymmetry {R}eduction and {S}ymbolic {D}ata {S}tructures for {M}odel {C}hecking of {D}istributed {S}ystems},
	Year = {2013},
	url = {documents/colange_phd.pdf}
}