A unified approach to language containment and fair CTL model checking
Authors:
- Ramin HojatiRHRamin Hojati
- Thomas R. ShipleTSThomas R. Shiple
- Robert K. BraytonRBRobert K. Brayton
- Robert P. KurshanRKRobert P. Kurshan
Open Access
- 1 January 1993
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 475-481