Partial Order Reduction with Compositional Verification
2014 master's thesis by Adrian Mark Shaw at University of Waikato
Press Enter · cited answer in seconds
0 sources
Partial Order Reduction with Compositional Verification
Summary
Partial Order Reduction with Compositional Verification is a master's thesis[1].
Key Facts
- Partial Order Reduction with Compositional Verification's instance of is recorded as master's thesis[2].
- Partial Order Reduction with Compositional Verification was published by Waikato Research Commons[3].
- Partial Order Reduction with Compositional Verification's place of publication is recorded as Hamilton[4].
- Partial Order Reduction with Compositional Verification's language of work or name is recorded as English[5].
- Partial Order Reduction with Compositional Verification's country of origin is recorded as New Zealand[6].
- Partial Order Reduction with Compositional Verification was published on 2014[7].
- Partial Order Reduction with Compositional Verification's main subject is model checking[8].
- Partial Order Reduction with Compositional Verification's work available at URL is recorded as https://researchcommons.waikato.ac.nz/handle/10289/9001[9].
- Partial Order Reduction with Compositional Verification's title is recorded as Partial Order Reduction with Compositional Verification[10].
- Partial Order Reduction with Compositional Verification's author name string is recorded as Adrian Mark Shaw[11].
- Partial Order Reduction with Compositional Verification's thesis submitted to is recorded as University of Waikato[12].
- Partial Order Reduction with Compositional Verification's on focus list of Wikimedia project is recorded as NZThesisProject[13].
- Partial Order Reduction with Compositional Verification's copyright status is recorded as copyrighted[14].
- Partial Order Reduction with Compositional Verification's online access status is recorded as open access[15].
- Partial Order Reduction with Compositional Verification's thesis committee member is recorded as Robi Malik[16].
- Partial Order Reduction with Compositional Verification's thesis submitted for degree is recorded as Master of Science[17].
Body
Designation and Status
Partial Order Reduction with Compositional Verification's instance of is recorded as master's thesis[2].