Barbeau, Michel; Bochmann, Gregor V. Extension of the Karp and Miller procedure to Lotos specifications. (English) Zbl 0765.68111 Computer-aided verification, Proc. 2nd Int. Conf., CAV ’90, New Brunswick/NJ (USA), Lect. Notes Comput. Sci. 531, 333-342 (1991). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{M. Barbeau} and \textit{G. V. Bochmann}, Lect. Notes Comput. Sci. 531, 333--342 (1991; Zbl 0765.68111)
Barbeau, Michel; Bochmann, Gregor V. Extension of the Karp and Miller procedure to Lotos specifications. (English) Zbl 0797.68106 Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 103-119 (1991). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{M. Barbeau} and \textit{G. V. Bochmann}, in: Computer-aided verification '90. Proceedings of a 2nd DIMACS workshop, June 18-21, 1990, Rutgers Univ., New Brunswick, NJ, USA. Providence, RI: American Mathematical Society; New York, NY: Association for Computing Machinery. 103--119 (1991; Zbl 0797.68106)