This file was created by the TYPO3 extension
bib
--- Timezone: CEST
Creation date: 2024-07-04
Creation time: 01-28-06
--- Number of references
1
phdthesis
2013-sasnaukas-phdthesis
Symbolic Execution of Distributed Systems
2013
RWTH Aachen University
RaimondasSasnaukas