author = { Wolf, Julian },

title = { Feingranulare Korrektheitsprüfung des Kontrollflusses von Echtzeitsystemen },

keywords = { Hartes Echtzeitsystem , Fehlererkennung , Eingebettetes System },

year = {2013-04-16},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }