An equivalent CTL formulation for condition sequences

Jeffrey Ashley, Lawrence E. Holloway

Producción científica: Articlerevisión exhaustiva

1 Cita (Scopus)

Huella

Profundice en los temas de investigación de 'An equivalent CTL formulation for condition sequences'. En conjunto forman una huella única.

Computer Science