Verifying Monadic Second-Order Properties of Graph Programs

Metadata only

Author

Date

2014

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

Graph Transformation : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings

Journal / series

Lecture Notes in Computer Science

Volume

8571

Pages / Article No.

33 - 48

Publisher

Springer

Event

7th International Conference on Graph Transformation (ICGT 2014), York, United Kingdom, July 22-24, 2014

Organisational unit

03594 - Meyer, Bertrand (emeritus)

More

ETH Bibliography

yes

Altmetrics

Research Collection