Lower Bounds on Witnesses for Nonemptiness of Universal co-Buchi Automata

Kupferman, O.; Piterman, N.

Lower Bounds on Witnesses for Nonemptiness of Universal co-Buchi Automata (bibtex)

@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@string{springer="© Springer-Verlag"}
@InProceedings{KP09,
  author = 	 {O. Kupferman and N. Piterman},
  title = 	 {Lower Bounds on Witnesses for Nonemptiness of Universal co-Buchi Automata},
  booktitle = {12th International Conference on Foundations of 
Software Science and Computation Structures},
  pages = 	 {182-196},
  year = 	 {2009},
  volume = 	 {5504},
  series = 	 lncs,
  publisher = springer,
  pdf = {2009/KP09.pdf},
  url = {2009/KP09.html},  
  keywords = {Automata},
}