Inproceedings,

On Simultaneously Determinizing and Complementing omega-Automata (Extended Abstract)

, and .
LICS, page 333-342. IEEE Computer Society, (1989)

Meta data

Tags

Users

  • @dblp

Comments and Reviews