The Role of Büchi’s Automata in Computing Science

This publication has 6 references indexed in Scilit:

• Research on Automatic Verification of Finite-State Concurrent Systems
  Annual Review of Computer Science, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Using branching time temporal logic to synthesize synchronization skeletons
  Science of Computer Programming, 1982
• Propositional dynamic logic of looping and converse is elementarily decidable
  Information and Control, 1982
• Ecole d'Eté de Probabilités de Saint-Flour III-1973
  Published by Springer Nature ,1974
• Testing and generating infinite sequences by a finite automaton
  Information and Control, 1966