Detail publikace

Advanced Ramsey-based Büchi Automata Inclusion Testing

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, roč. 2011, č. 6901, s. 187-202. ISSN 0302-9743.
Název česky
Pokročilé techniky testování inkluze na Büchiho automatech s využitím technik založených na Ramseyho teorému
Typ
článek v časopise
Jazyk
angličtina
Autoři
Abdulla Parosh A. (Uppsala)
Chen Yu-Fang (ASIN)
Clemente Lorenzo (UEDIN)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Hong Chih-Duo (ASIN)
Mayr Richard (UEDIN)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt

Č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.

Rok
2011
Strany
187-202
Časopis
Lecture Notes in Computer Science, roč. 2011, č. 6901, ISSN 0302-9743
Vydavatel
Springer Verlag
BibTeX
@ARTICLE{FITPUB9722,
   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 = "https://www.fit.vut.cz/research/publication/9722"
}
Nahoru