G
[GKS+03] Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi et Moshe Y. Vardi. On Complementing Nondeterministic Büchi Automata. In CHARME'03, Lecture Notes in Computer Science 2860. Springer-Verlag, octobre 2003. 
@inproceedings{charme2003-GKSV,
  author =              {Gurumurthy, Sankar and Kupferman, Orna and Somenzi,
                         Fabio and Vardi, Moshe Y.},
  title =               {On Complementing Nondeterministic B{\"u}chi
                         Automata},
  editor =              {Geist, Daniel and Tronci, Enrico},
  booktitle =           {{P}roceedings of the 12th {C}orrect {H}ardware
                         {D}esign and {V}erification {M}ethods ({CHARME}'03)},
  acronym =             {{CHARME}'03},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {2860},
  year =                {2003},
  month =               oct,
}
Liste des auteurs