% 
% This file was created by the TYPO3 extension
% bib
% --- Timezone: CEST
% Creation date: 2024-07-04
% Creation time: 01-22-44
% --- Number of references
% 1
% 

@Phdthesis { 2013-sasnaukas-phdthesis,
   title = {Symbolic Execution of Distributed Systems},
   year = {2013},
   school = {RWTH Aachen University},
   author = {Sasnaukas, Raimondas}
}