Autor:	Jong S. Kim, Mara Tableman
Rok vydání:	2003
Předmět:	Model checking Programming language Computer science computer.software_genre computer
Zdroj:	Survival Analysis Using S ISBN: 9780429176852
DOI:	10.1201/b16988-8
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::5d3073027df68d1cfd10a7d6f67bda8a https://doi.org/10.1201/b16988-8 Zobrazit plný text záznamu