Autor:	Tiede, Michael
Jazyk:	němčina
Rok vydání:	2013
Předmět:	Formale Verifikation Suchalgorithmen Evaluierung Raumfahrtmissionen Model Checking
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______1640::aeca7ed4679c6a7098e815020749bd07 https://elib.dlr.de/83865/ Zobrazit plný text záznamu