@article(angluin87,
 author       = "D. Angluin",
 year         = "1987",
 title        = "Learning Regular Sets from Queries and Counterexamples",
 journal      = "Inf. Comput.",
 volume       = "75",
 number       = "2",
 pages        = "87--106",
 url          = "http://dx.doi.org/10.1016/0890-5401(87)90052-6",
)
@misc(kosarajusalgorithm,
 author       = "M. C. Chu-Carroll",
 title        = "Algorithm of {K}osaraju",
 howpublished = "http://scienceblogs.com/\newline goodmath/2007/10/computing\_strongly\_connected\_c.php",
 note         = "Accessed 14 {J}uly 2011",
)
@article(NFM-2010,
 author       = "S. Chaki and A. Gurfinkel",
 year         = "2011",
 title        = "Automated assume-guarantee reasoning for omega-regular systems and specifications",
 journal      = "ISSE",
 volume       = "7",
 number       = "2",
 pages        = "131--139",
 url          = "http://dx.doi.org/10.1007/s11334-011-0148-1",
)
@inproceedings(spin2010,
 author       = "R{\"u}diger Ehlers and Bernd Finkbeiner",
 year         = "2010",
 title        = "On the Virtue of Patience: Minimizing B{\"u}chi Automata",
 editor       = "Jaco van de Pol and Michael Weber",
 booktitle    = "SPIN",
 series       = "Lecture Notes in Computer Science",
 volume       = "6349",
 publisher    = "Springer",
 pages        = "129--145",
 url          = "http://dx.doi.org/10.1007/978-3-642-16164-3_10",
)
@inproceedings(optimizing,
 author       = "Kousha Etessami and Gerard J. Holzmann",
 year         = "2000",
 title        = "Optimizing B{\"u}chi Automata",
 editor       = "Catuscia Palamidessi",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "1877",
 publisher    = "Springer",
 pages        = "153--167",
 url          = "http://dx.doi.org/10.1007/3-540-44618-4_13",
)
@inproceedings(sat2010,
 author       = "R{\"u}diger Ehlers",
 year         = "2010",
 title        = "Minimising Deterministic B{\"u}chi Automata Precisely Using SAT Solving",
 editor       = "Ofer Strichman and Stefan Szeider",
 booktitle    = "SAT",
 series       = "Lecture Notes in Computer Science",
 volume       = "6175",
 publisher    = "Springer",
 pages        = "326--332",
 url          = "http://dx.doi.org/10.1007/978-3-642-14186-7_28",
)
@misc(Minisatseite,
 author       = "N. E\'{e}n and N. S{\"o}rensson",
 title        = "Minisat",
 howpublished = "http://minisat.se/",
 note         = "Accessed 13 August 2011",
)
@phdthesis(Gramdis,
 author       = "Gregor Gramlich",
 year         = "2007",
 title        = "{\"U}ber die algorithmische Komplexit{\"a}t regul{\"a}rer Sprachen",
 type         = "Ph.D. thesis",
 url          = "http://publikationen.ub.uni-frankfurt.de/volltexte/2007/4577/",
)
@book(Holzmann:2003:SMC:1405716,
 author       = "Gerard Holzmann",
 year         = "2003",
 title        = "{SPIN MODEL CHECKER}, the: primer and reference manual",
 edition      = "first",
 publisher    = "Addison-Wesley Professional",
)
@article(Hopcroft_1971,
 author       = "J Hopcroft",
 year         = "1971",
 title        = "An n log n algorithm for minimizing states in a finite automaton",
 journal      = "Reproduction",
 pages        = "189--196",
 url          = "http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=AD0719398",
)
@manual(monamanual2001,
 author       = "Nils Klarlund and Anders M{\o }ller",
 year         = "2001",
 title        = "{MONA Version 1.4 User Manual}",
 organization = "BRICS, Department of Computer Science, Aarhus University",
 note         = "Notes Series NS-01-1. Available from \texttt {\relax \fontsize {10}{12}\selectfont \abovedisplayskip 10\p@ plus2\p@ minus5\p@ \abovedisplayshortskip \z@ plus3\p@ \belowdisplayshortskip 6\p@ plus3\p@ minus3\p@ \def \leftmargin \leftmargini \parsep 2.5\p@ plus1.5\p@ minus\p@ \topsep 5\p@ plus2\p@ minus5\p@ \itemsep 2.5\p@ plus1.5\p@ minus\p@ {\leftmargin \leftmargini \topsep 6\p@ plus2\p@ minus2\p@ \parsep 3\p@ plus2\p@ minus\p@ \itemsep \parsep }\belowdisplayskip \abovedisplayskip http://www.brics.dk/mona/}. Revision of BRICS NS-98-3",
)
@article(loeding,
 author       = "C. L{\"o}ding",
 year         = "2001",
 title        = "Efficient minimization of deterministic weak omega-automata",
 journal      = "Inf. Process. Lett.",
 volume       = "79",
 number       = "3",
 pages        = "105--109",
 url          = "http://dx.doi.org/10.1016/S0020-0190(00)00183-6",
)
@misc(Michel88,
 author       = "M. Michel",
 year         = "1988",
 title        = "Complementation is more difficult with automata on infinite words.",
 howpublished = "CNET, Paris",
)
@article(nbatodpa,
 author       = "Nir Piterman",
 year         = "2007",
 title        = "From Nondeterministic {B}{\"u}chi and Streett Automata to Deterministic Parity Automata",
 journal      = "CoRR",
 volume       = "abs/0705.2205",
 url          = "http://arxiv.org/abs/0705.2205",
)
@article(CoRR10,
 author       = "Sven Schewe",
 year         = "2010",
 title        = "Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata",
 journal      = "CoRR",
 volume       = "abs/1007.1333",
 url          = "http://arxiv.org/abs/1007.1333",
)
@inproceedings(stateofbuechicomp,
 author       = "Ming-Hsien Tsai and Seth Fogarty and Moshe Y. Vardi and Yih-Kuen Tsay",
 year         = "2010",
 title        = "State of B{\"u}chi Complementation",
 editor       = "Michael Domaratzki and Kai Salomaa",
 booktitle    = "CIAA",
 series       = "Lecture Notes in Computer Science",
 volume       = "6482",
 publisher    = "Springer",
 pages        = "261--271",
 url          = "http://dx.doi.org/10.1007/978-3-642-18098-9_28",
)