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. Lecture Notes in Computer Science, 2011, vol. 2011, no. 6901, p. 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
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
187–202
Časopis
Lecture Notes in Computer Science, roč. 2011, č. 6901, ISSN 0302-9743
BibTeX 
@article{BUT76413,
  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",
  journal="Lecture Notes in Computer Science",
  year="2011",
  volume="2011",
  number="6901",
  pages="187--202",
  issn="0302-9743",
  url="http://www.springerlink.com/content/e14t15u580x7n332"
}
Nahoru