Detail publikace

Advanced Ramsey-based Büchi Automata Inclusion Testing

ABDULLA, P.; CHEN, Y.; CLEMENTE, L.; HOLÍK, L.; HONG, C.; MAYR, R.; VOJNAR, T. Advanced Ramsey-based Büchi Automata Inclusion Testing. FIT-TR-2011-03, Brno: Faculty of Information Technology BUT, 2011. p. 0-0.
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
zpráva odborná
Jazyk
anglicky
Autoři
Abdulla Parosh
Chen Yu-Fang
Clemente Lorenzo
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Hong Chih-Duo
Mayr Richard
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

Büchi automata, inclusion checking, Ramsey theorem, simulation relations

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
45
Vydavatel
Faculty of Information Technology BUT
Místo
FIT-TR-2011-03, Brno
BibTeX 
@techreport{BUT192765,
  author="Parosh {Abdulla} and Yu-Fang {Chen} and Lorenzo {Clemente} and Lukáš {Holík} and Chih-Duo {Hong} and Richard {Mayr} and Tomáš {Vojnar}",
  title="Advanced Ramsey-based Büchi Automata Inclusion Testing",
  year="2011",
  publisher="Faculty of Information Technology BUT",
  address="FIT-TR-2011-03, Brno",
  pages="45",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/fit-tr-2011-03.pdf"
}
Nahoru