Show simple item record

Modelling, analysing and model checking commit protocols

dc.contributor.authorKempster, Timen
dc.date.accessioned2016-03-01T11:36:18Z
dc.date.available2016-03-01T11:36:18Z
dc.date.issued2000
dc.identifier.urihttp://hdl.handle.net/1842/15148
dc.description.abstracten
dc.publisherThe University of Edinburghen
dc.relation.ispartofKB thesis scanning project 2015en
dc.titleModelling, analysing and model checking commit protocolsen
dc.typeThesis or Dissertationen
dc.type.qualificationlevelDoctoralen
dc.type.qualificationnamePhD Doctor of Philosophyen


Files in this item

Name:
Kempster2000.Pdf
Size:
7.347Mb
Format:
PDF
View/Open

This item appears in the following Collection(s)

  • Mathematics thesis and dissertation collection

    • Show simple item record