Back to Results
First PageMeta Content
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


Document Date: 2013-04-24 17:17:52

Open Document

File Size: 96,92 KB

Share Result on Facebook
UPDATE