Revision as of 18:29, 30 November 2014 edit MadScientistX11 (talk \| contribs) Extended confirmed users 4,453 edits m MadScientistX11 moved page IEEE Symposium on Logic in Computer Science to Logic in Computer Science (IEEE symposium): Previous title was too hard to differentiate from another article with the same name except for capitalization ← Previous edit		Revision as of 00:01, 3 February 2015 edit undo FrescoBot (talk \| contribs) Bots 1,152,845 edits m Bot: link syntax Next edit →
Line 32: ==== 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"

Symposium on Logic in Computer Science: Difference between revisions