EEMCS
Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


14944 Preface
 Home Policy Brochure Browse Search User Area Contact Help

Černá, I. and Haverkort, B.R.H.M. (2008) Preface. In: Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2007. pp. 1-2. Elsevier. ISSN 1571-0661

Full text available as:

PDF
 - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
95 Kb

Official URL: http://dx.doi.org/10.1016/j.entcs.2007.10.016

Exported to Metis
Item Type:Conference or Workshop Paper (Full Paper, Other)
Research Group:EWI-DACS: Design and Analysis of Communication Systems
Research Program:CTIT-DSN: Dependable Systems and Networks
ID Code:14944
Status:Published
Deposited On:04 February 2009
Refereed:No
International:Yes
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item