References of "Pnueli, A."
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailA Sound and Complete Deductive System for CTL Verification
Gabbay, Dov M. UL; Pnueli, A.

in Journal of Logic and Computation (2008), 16(6), 499536

Detailed reference viewed: 116 (1 UL)