Verifying Monadic Second-Order Properties of Graph Programs

Chris Poskitt; Detlef Plump

doi:10.1007/978-3-319-09108-2_3

Verifying Monadic Second-Order Properties of Graph Programs

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings 7th International Conference on Graph Transformation (ICGT 2014)
Editors	Holger Giese, Barbara Koenig
Publisher	Springer
Pages	33-48
Number of pages	16
ISBN (Electronic)	978-3-319-09108-2
ISBN (Print)	978-3-319-09107-5
DOIs	https://doi.org/10.1007/978-3-319-09108-2_3
Publication status	Published - 2014
Event	7th International Conference on Graph Transformation - York, United Kingdom Duration: 22 Jul 2014 → 24 Jul 2014

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer-Verlag
Volume	8571

Conference

Conference	7th International Conference on Graph Transformation
Country/Territory	United Kingdom
City	York
Period	22/07/14 → 24/07/14

Access to Document

10.1007/978-3-319-09108-2_3Licence: Unspecified

http://www.cs.york.ac.uk/plasma/publications/pdf/PoskittPlump.ICGT.14.pdfLicence: Unspecified

Detlef Plump
- detlef.plumpyork.acuk
- Computer Science - Senior Lecturer
Person: Academic

Cite this

@inproceedings{647296d9abb0437bb597000d529af71b,

title = "Verifying Monadic Second-Order Properties of Graph Programs",

author = "Chris Poskitt and Detlef Plump",

year = "2014",

doi = "10.1007/978-3-319-09108-2_3",

language = "English",

isbn = "978-3-319-09107-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "33--48",

editor = "Holger Giese and Barbara Koenig",

booktitle = "Proceedings 7th International Conference on Graph Transformation (ICGT 2014)",

address = "Germany",

note = "7th International Conference on Graph Transformation ; Conference date: 22-07-2014 Through 24-07-2014",

}

Poskitt, C & Plump, D 2014, Verifying Monadic Second-Order Properties of Graph Programs. in H Giese & B Koenig (eds), Proceedings 7th International Conference on Graph Transformation (ICGT 2014). Lecture Notes in Computer Science, vol. 8571, Springer, pp. 33-48, 7th International Conference on Graph Transformation, York, United Kingdom, 22/07/14. https://doi.org/10.1007/978-3-319-09108-2_3

TY - GEN

T1 - Verifying Monadic Second-Order Properties of Graph Programs

AU - Poskitt, Chris

AU - Plump, Detlef

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-09108-2_3

DO - 10.1007/978-3-319-09108-2_3

M3 - Conference contribution

SN - 978-3-319-09107-5

T3 - Lecture Notes in Computer Science

SP - 33

EP - 48

BT - Proceedings 7th International Conference on Graph Transformation (ICGT 2014)

A2 - Giese, Holger

A2 - Koenig, Barbara

PB - Springer

T2 - 7th International Conference on Graph Transformation

Y2 - 22 July 2014 through 24 July 2014

ER -

Verifying Monadic Second-Order Properties of Graph Programs

Publication series

Conference

Access to Document

Profiles

Detlef Plump

Cite this