Autor:	Peter Ryan, Chris Sennett
Rok vydání:	1993
Zdroj:	Formal Methods in Systems Engineering ISBN: 9783540197515
DOI:	10.1007/978-1-4471-1975-3_12
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::68408c9d53cf9383c0af5b5f6b533eba https://doi.org/10.1007/978-1-4471-1975-3_12 Zobrazit plný text záznamu