<--- Back to Details
First PageDocument 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
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

Add to Reading List

Source URL: www.dcs.warwick.ac.uk

Download Document from Source Website

File Size: 96,92 KB

Share Document on Facebook

Similar Documents

Cryptography / Public-key cryptography / Secret sharing / Secure multi-party computation / Cryptographic protocol / Ivan Damgrd

Cambridge University Press3 - Secure Multiparty Computation and Secret Sharing Ronald Cramer, Ivan Bjerre Damgård and Jesper Buus Nielsen Table of Contents More information

DocID: 1xTf5 - View Document

Lecture Notes for Physics 229: Quantum Information and Computation John Preskill California Institute of Technology September, 1998

DocID: 1vkbD - View Document

From Natural Science to Information Science and Back Russel Caflisch (UCLA) ABSTRACT The arrival of massive amounts of data from imaging, sensors, computation and the internet brought with it significant challenges for i

DocID: 1uv8U - View Document

The 3rd ERATO-SORST Quantum Computation and Information Workshop Sanjo Conference Hall B001, The University of Tokyo, 2/28~(Mon) 14:00-14:10 Opening

DocID: 1uokp - View Document

A Model of Distributed Query Computation in Client-Server Scenarios on the Semantic Web ∗ 1 Olaf Hartig1 , Ian Letter2 , Jorge P´erez3,4 Dept. of Computer and Information Science (IDA), Link¨oping University, Sweden

DocID: 1ugKj - View Document