Algorithms Based on Finite Automata for Testing of Omega-Codes

Autor:	Thang Dang Quyet, Han Nguyen Dinh, Huy Phan Trung
Rok vydání:	2012
Zdroj:	Lecture Notes in Electrical Engineering ISBN: 9789400745155
DOI:	10.1007/978-94-007-4516-2_27
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e955f74cd89c50ea492edf0537e26b27 https://doi.org/10.1007/978-94-007-4516-2_27 Zobrazit plný text záznamu