EEMCS

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

EEMCS EPrints Service


Editor: Wijs, A.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2014

Delzanno, G. and Rensink, A. and Traverso, R. (2014) Graph- versus Vector-Based Analysis of a Consensus Protocol. In: Proceedings of the 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014), 5 April 2014, Grenoble, France. pp. 44-57. Electronic Proceedings in Theoretical Computer Science 159. EPTCS. ISSN 2075-2180

2012

Zambon, Eduardo and Rensink, A. (2012) Graph Subsumption in Abstract State Space Exploration. In: Proceedings of First Workshop on Graph Inspection and Traversal Engineering (GRAPHite 2012), 1 Apr 2012, Tallinn, Estonia. pp. 35-49. Electronic Proceedings in Theoretical Computer Science 99. Open Publishing Association. ISSN 2075-2180

This list was generated on Fri Mar 24 08:25:14 CET 2017.