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

EEMCS EPrints Service


1931 Preface
 Home Policy Brochure Browse Search User Area Contact Help

Rensink, A. and Heckel, R. and König, B. (2006) Preface. In: Graph Transformation for Verification and Concurrency, Aug 2005, San Fransisco, USA. pp. 1-5. Electronic Notes in Theoretical Computer Science 154 (2). Elsevier. ISSN 1571-0661

Full text available as:

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

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

Exported to Metis
Item Type:Conference or Workshop Paper (Full Paper, Presentation Type UNSPECIFIED)
Research Group:EWI-FMT: Formal Methods and Tools
Research Program:CTIT-ASI: A-services Internet
Research Project:GROOVE: Graphs for Object-Oriented Verification
ID Code:1931
Status:Published
Deposited On:07 June 2006
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