Deterministic w Automata vis-a-vis Deterministic Buchi Automata

@inproceedings{Krishnan1994DeterministicWA,
  title={Deterministic w Automata vis-a-vis Deterministic Buchi Automata},
  author={Sriram C. Krishnan and Anuj Puri and Robert K. Brayton},
  booktitle={ISAAC},
  year={1994}
}