×

Found 2 Documents (Results 1–2)

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

Filter Results by …

Main Field