Parallel and Distributed Methods in Verification

Cerná, Ivana and Haverkort, Boudewijn R. (2011) Parallel and Distributed Methods in Verification. Journal of Logic and Computation, 21 (1). pp. 1-3. ISSN 0955-792X

PDF Restricted to UT campus only: Request a copy 44Kb

Item Type:	Article
Copyright:	© 2011 Oxford University Press
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Design and Analysis of Communication Systems (DACS)
Link to this item:	http://purl.utwente.nl/publications/79115
Official URL:	http://dx.doi.org/10.1093/logcom/exp001
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Daily downloads in the past month

Monthly downloads in the past 12 months

More statistics for this item...

Show download statistics for this publication

Repository Staff Only: item control page