Formalization and model checking of LSCs for reactive systems (R)
Pandey, Sushant
Formalization and model checking of LSCs for reactive systems (R) - - Mumbai IIT 2011 - iv,81 p. 30 cm - .
Krishna, S.N. and Pandya, Paritosh K.
Theses and Dissertations
Computer software-Verification , Computer programs-Verification
043:681.3.06Pan
Formalization and model checking of LSCs for reactive systems (R) - - Mumbai IIT 2011 - iv,81 p. 30 cm - .
Krishna, S.N. and Pandya, Paritosh K.
Theses and Dissertations
Computer software-Verification , Computer programs-Verification
043:681.3.06Pan