Článek v časopise

ABDULLA Parosh A., CHEN Yu-Fang, CLEMENTE Lorenzo, HOLÍK Lukáš, HONG Chih-Duo, MAYR Richard a VOJNAR Tomáš. Advanced Ramsey-based Büchi Automata Inclusion Testing. Lecture Notes in Computer Science. 2011, roč. 2011, č. 6901, s. 187-202. ISSN 0302-9743.
Jazyk publikace:angličtina
Název publikace:Advanced Ramsey-based Büchi Automata Inclusion Testing
Název (cs):Pokročilé techniky testování inkluze na Büchiho automatech s využitím technik založených na Ramseyho teorému
Strany:187-202
Místo vydání:DE
Rok:2011
Časopis:Lecture Notes in Computer Science, roč. 2011, č. 6901, DE
ISSN:0302-9743
URL:http://www.springerlink.com/content/e14t15u580x7n332 [HTML]
Klíčová slova
Büchi automata, inclusion checking, Ramsey theorem, simulation relations
Anotace
Článek presentuje pokročilé techniky testování inkluze na Büchiho automatech s využitím technik založených na Ramseyho teorému.
BibTeX:
@ARTICLE{
   author = {A. Parosh Abdulla and Yu-Fang Chen and Lorenzo Clemente and
	Luk{\'{a}}{\v{s}} Hol{\'{i}}k and Chih-Duo Hong and Richard
	Mayr and Tom{\'{a}}{\v{s}} Vojnar},
   title = {Advanced Ramsey-based B{\"{u}}chi Automata Inclusion
	Testing},
   pages = {187--202},
   journal = {Lecture Notes in Computer Science},
   volume = {2011},
   number = {6901},
   year = {2011},
   ISSN = {0302-9743},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs.iso-8859-2?id=9722}
}

Vaše IPv4 adresa: 54.156.37.174
Přepnout na IPv6 spojení

DNSSEC [dnssec]