Authors: CLARKE EM KURSHAN RP

Citation: Em. Clarke et Rp. Kurshan, COMPUTER-AIDED VERIFICATION, IEEE spectrum, 33(6), 1996, pp. 61-67

Authors: ALUR R ITAI A KURSHAN RP YANNAKAKIS M

Citation: R. Alur et al., TIMING VERIFICATION BY SUCCESSIVE APPROXIMATION, Information and computation, 118(1), 1995, pp. 142-157

Authors: KURSHAN RP MCMILLAN KL

Citation: Rp. Kurshan et Kl. Mcmillan, A STRUCTURAL INDUCTION THEOREM FOR PROCESSES, Information and computation, 117(1), 1995, pp. 1-11

Authors: CLARKE EM DRAGHICESCU IA KURSHAN RP

Citation: Em. Clarke et al., A UNIFIED APPROACH FOR SHOWING LANGUAGE INCLUSION AND EQUIVALENCE BETWEEN VARIOUS TYPES OF OMEGA-AUTOMATA, Information processing letters, 46(6), 1993, pp. 301-308