Verification of an audio control protocol

Autor:	Doeko J. B. Bosscher, Indra Polak, Frits W. Vaandrager
Rok vydání:	1995
DOI:	10.1142/9789812831583_0006
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::565f53ac5060f08f6e6f4f0e3ffb5b61 https://doi.org/10.1142/9789812831583_0006 Zobrazit plný text záznamu