Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-4
|
Results: 4
COMPUTER-AIDED VERIFICATION
Authors:
CLARKE EM KURSHAN RP
Citation:
Em. Clarke et Rp. Kurshan, COMPUTER-AIDED VERIFICATION, IEEE spectrum, 33(6), 1996, pp. 61-67
TIMING VERIFICATION BY SUCCESSIVE APPROXIMATION
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
A STRUCTURAL INDUCTION THEOREM FOR PROCESSES
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
A UNIFIED APPROACH FOR SHOWING LANGUAGE INCLUSION AND EQUIVALENCE BETWEEN VARIOUS TYPES OF OMEGA-AUTOMATA
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
Risultati:
1-4
|