Symbolic Model Checking for Large Software Specifications

Summary

Symbolic Model Checking for Large Software Specifications is a doctoral thesis^[1].

Key Facts

• Symbolic Model Checking for Large Software Specifications authored Woon Chung Chan^[2].
• Symbolic Model Checking for Large Software Specifications's instance of is recorded as doctoral thesis^[3].
• Symbolic Model Checking for Large Software Specifications's OCLC number is recorded as 44036341^[4].
• Symbolic Model Checking for Large Software Specifications's language of work or name is recorded as English^[5].
• +1999-00-00T00:00:00Z marks the founding of Symbolic Model Checking for Large Software Specifications^[6].
• Symbolic Model Checking for Large Software Specifications's work available at URL is recorded as http://hdl.handle.net/1773/6869^[7].
• Symbolic Model Checking for Large Software Specifications's number of pages is recorded as {'unit': 'http://www.wikidata.org/entity/Q1069725', 'amount': '+148'}^[8].
• Symbolic Model Checking for Large Software Specifications's number of pages is recorded as {'unit': 'http://www.wikidata.org/entity/Q56761382', 'amount': '+9'}^[9].
• Symbolic Model Checking for Large Software Specifications's Handle ID is recorded as 1773/6869^[10].
• Symbolic Model Checking for Large Software Specifications's title is recorded as Symbolic Model Checking for Large Software Specifications^[11].
• Symbolic Model Checking for Large Software Specifications's thesis submitted to is recorded as University of Washington^[12].
• Symbolic Model Checking for Large Software Specifications's on focus list of Wikimedia project is recorded as WikiProject PCC Wikidata Pilot/University of Washington^[13].

Body

Designation and Status

Symbolic Model Checking for Large Software Specifications's instance of is recorded as doctoral thesis^[3].

History and Context

+1999-00-00T00:00:00Z marks the founding of Symbolic Model Checking for Large Software Specifications^[6].