Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Workshop on Logic, Language, Information and Computation
Results: 11
‹ Prev
1
2
Next ›
#
Item
11
PDF Document
Add to Reading List
Source URL: www.dcs.warwick.ac.uk
Language: English
- Date: 2013-04-24 17:17:52
International Colloquium on Automata
Languages and Programming
Workshop on Logic
Language
Information and Computation
Symposium on Theoretical Aspects of Computer Science
Bill Roscoe
Model checking
Theoretical computer science
Computer science
Automata theory
‹ Prev
1
2
Next ›
UPDATE