CITATION STYLE
Thomas, W. (1999). Complementation of Büchi Automata Revisited. In Jewels are Forever (pp. 109–120). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-60207-8_10
Mendeley helps you to discover research relevant for your work.