diss-riedl.bib

diss-riedl.bib — BibTeX document, 285 bytes

Dateiinhalt

@phdthesis{MR14,
	author		= {Martin Riedl},
	title		= {{A Specification Language for Reconfigurable Dependable Systems, its Formalisation and Analysis Environment}},
	school		= {Universit\"at der Bundeswehr M\"unchen},
	year		= {2014},
	url		= {http://137.193.200.7/node?id=92070}, 
}