This file was created with JabRef 2.2.
Encoding: Cp1252

@STRING{academic = {Academic Press}}

@STRING{acm = {ACM Press}}

@STRING{elsevier = {Elsevier}}

@STRING{fmsd = {Formal Methods in Systems Design}}

@STRING{ic = {Inf.\@ Comput.\@}}

@STRING{ieee = {IEEE Computer Society Press}}

@STRING{ijfcs = {Int.\@ J.\@ Found.\@ Comput.\@ Sci.\@}}

@STRING{ipl = {Inform.\@ Process.\@ Lett.\@}}

@STRING{jacm = {J.\@ ACM}}

@STRING{jcss = {J.\@ Comput.\@ Syst.\@ Sci.\@}}

@STRING{kluwer = {Kluwer Academic Publishers}}

@STRING{lnai = {Lect.\@ Notes Artificial Intelligence}}

@STRING{lncs = {LNCS}}

@STRING{lnm = {Lect.\@ Notes Math.\@}}

@STRING{mst = {Math.\@ Syst.\@ Theory}}

@STRING{northholland = {North-Holland}}

@STRING{springer = {Springer-Verlag}}

@STRING{sttt = {Int.\@ J.\@ on Software Tools for Technology Transfer}}

@STRING{tams = {Trans.\@ Amer.\@ Math.\@ Soc.\@}}

@STRING{tcs = {Theoret.\@ Comput.\@ Sci.\@}}

@STRING{tocl = {ACM Trans.\@ Comput.\@ Log.\@}}

@INPROCEEDINGS{SomenziBloem.2000.CAV,
  author = {Fabio Somenzi and Roderick Bloem},
  title = {Efficient {B\"uchi} Automata from {LTL} Formulae},
  booktitle = {CAV'00},
  year = {2000},
  volume = {1855},
  series = lncs,
  pages = {248--263},
  conference = {CAV}
}