Probabilistic Methods in Verification (Dagstuhl Seminar 00181)

Autor:	Kwiatkowska, Marta, Herzog, Ulrich, Meinel, Christoph, Vardi, Moshe
Jazyk:	angličtina
Rok vydání:	2000
DOI:	10.4230/dagsemrep.273
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::9bacdbc97e6b9bfd7eee10840480d7ae Zobrazit plný text záznamu