By the same authors

Checking Graph Programs for Confluence

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Author(s)

Department/unit(s)

Publication details

Title of host publicationSoftware Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers
DateAccepted/In press - 9 Nov 2017
DatePublished (current) - 23 Jan 2018
Pages92-108
Number of pages16
PublisherSpringer
EditorsMartina Seidl, Steffen Zschaler
Original languageEnglish

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume10748

Bibliographical note

This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations