Using behavioural specifications to support model-checking

Summary

Using behavioural specifications to support model-checking is a master's thesis^[1].

Key Facts

• Using behavioural specifications to support model-checking's instance of is recorded as master's thesis^[2].
• Using behavioural specifications to support model-checking was published by Waikato Research Commons^[3].
• Using behavioural specifications to support model-checking's place of publication is recorded as Hamilton^[4].
• Using behavioural specifications to support model-checking's language of work or name is recorded as English^[5].
• Using behavioural specifications to support model-checking's country of origin is recorded as New Zealand^[6].
• Using behavioural specifications to support model-checking was published on 2019^[7].
• Using behavioural specifications to support model-checking's work available at URL is recorded as https://researchcommons.waikato.ac.nz/handle/10289/13028^[8].
• Using behavioural specifications to support model-checking's title is recorded as Using behavioural specifications to support model-checking^[9].
• Using behavioural specifications to support model-checking's author name string is recorded as Bowen Liu^[10].
• Using behavioural specifications to support model-checking's thesis submitted to is recorded as University of Waikato^[11].
• Using behavioural specifications to support model-checking's on focus list of Wikimedia project is recorded as NZThesisProject^[12].
• Using behavioural specifications to support model-checking's copyright status is recorded as copyrighted^[13].
• Using behavioural specifications to support model-checking's online access status is recorded as open access^[14].
• Using behavioural specifications to support model-checking's thesis committee member is recorded as Judy Bowen^[15].
• Using behavioural specifications to support model-checking's thesis submitted for degree is recorded as Master of Science by Research^[16].

Body

Designation and Status

Using behavioural specifications to support model-checking's instance of is recorded as master's thesis^[2].