Automata-theoretic verification of coordinating processes

This publication has 5 references indexed in Scilit:

• Symbolic Model Checking
  Published by Springer Nature ,1993
• Software Failure: Counting up the Risks
  Science News, 1991
• Software for Analytical Development of Communications Protocols
  AT&T Technical Journal, 1990
• Sequential circuit verification using symbolic model checking
  Published by Association for Computing Machinery (ACM) ,1990
• Software engineering
  IEEE Spectrum, 1983