InfoKey: Creator
InfoValue: LaTeX with beamer class version 3.07
InfoKey: Title
InfoValue: Notes to accompany the Part II course Temporal Logic and Model Checking (TLMC)
InfoKey: Author
InfoValue: Mike Gordon  &#169; Draft date March 30, 2011
InfoKey: Producer
InfoValue: dvips + GPL Ghostscript 8.64
InfoKey: ModDate
InfoValue: D:20110330124011+01'00'
InfoKey: CreationDate
InfoValue: D:20110330124011+01'00'
PdfID0: e1ac6066292df0cee0226843a9b979ea
PdfID1: e1ac6066292df0cee0226843a9b979ea
NumberOfPages: 3
BookmarkTitle: Models
BookmarkLevel: 1
BookmarkPageNumber: 2
BookmarkTitle: A hardware example: RCV
BookmarkLevel: 2
BookmarkPageNumber: 2
BookmarkTitle: A software example: DIV
BookmarkLevel: 2
BookmarkPageNumber: 2
BookmarkTitle: Properties
BookmarkLevel: 1
BookmarkPageNumber: 2
BookmarkTitle: Model checking
BookmarkLevel: 1
BookmarkPageNumber: 2
