equal
deleted
inserted
replaced
195 journal = JSL, |
195 journal = JSL, |
196 year = 1940, |
196 year = 1940, |
197 volume = 5, |
197 volume = 5, |
198 pages = "56-68"} |
198 pages = "56-68"} |
199 |
199 |
|
200 @book{ClarkeGP-book,author="Edmund Clarke and Orna Grumberg and Doron Peled", |
|
201 title="Model Checking",publisher=MIT,year=1999} |
|
202 |
200 @PhdThesis{coen92, |
203 @PhdThesis{coen92, |
201 author = {Martin D. Coen}, |
204 author = {Martin D. Coen}, |
202 title = {Interactive Program Derivation}, |
205 title = {Interactive Program Derivation}, |
203 school = {University of Cambridge}, |
206 school = {University of Cambridge}, |
204 note = {Computer Laboratory Technical Report 272}, |
207 note = {Computer Laboratory Technical Report 272}, |