From state transition diagrams to CTL formulae : an aid for property specification (R)
Maymon, M.S.
From state transition diagrams to CTL formulae : an aid for property specification (R) - - Mumbai IIT 2004 - ii,52 p. 29 cm - .
Chakraborty, Supratik
Theses and Dissertations
Verification(Logic) , Computing system-Verification
043:681.3:517.1May
From state transition diagrams to CTL formulae : an aid for property specification (R) - - Mumbai IIT 2004 - ii,52 p. 29 cm - .
Chakraborty, Supratik
Theses and Dissertations
Verification(Logic) , Computing system-Verification
043:681.3:517.1May