Revision as of 15:34, 16 November 2014 edit 88.73.43.235 (talk) →2011: fixed link to wrong person ← Previous edit		Revision as of 15:35, 16 November 2014 edit undo 88.73.43.235 (talk) →2010: fixed name links to wrong persons Next edit →
Line 33: ==== 2010 ==== [[Rajeev Alur ]], [[Costas Courcoubetis]], [[David L. Dill]], "Model-checking for real-time systems" [[Jerry R. Burch]], [[Edmund Clarke]], [[Kenneth L. McMillan]], [[David L. Dill]], [[James Hwang]], "Symbolic model checking: 10^20 states and beyond" [[Max Dauchet]], [[Sophie Tison]], "The theory of ground rewrite systems is decidable" [[Peter Freyd]], "Recursive types reduced to inductive types"

Symposium on Logic in Computer Science: Difference between revisions