Show simple item record

dc.contributor.author
Poskitt, Christopher M.
dc.contributor.author
Plump, Detlef
dc.contributor.editor
Giese, Holger
dc.contributor.editor
König, Barbara
dc.date.accessioned
2017-06-11T11:05:11Z
dc.date.available
2017-06-11T11:05:11Z
dc.date.issued
2014
dc.identifier.isbn
978-3-319-09107-5
dc.identifier.isbn
978-3-319-09108-2
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-319-09108-2_3
dc.identifier.uri
http://hdl.handle.net/20.500.11850/86841
dc.language.iso
en
dc.publisher
Springer
dc.title
Verifying Monadic Second-Order Properties of Graph Programs
dc.type
Conference Paper
ethz.book.title
Graph Transformation : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
8571
ethz.journal.abbreviated
LNCS
ethz.pages.start
33
ethz.pages.end
48
ethz.event
7th International Conference on Graph Transformation (ICGT 2014)
ethz.event.location
York, United Kingdom
ethz.event.date
July 22-24, 2014
ethz.identifier.wos
ethz.identifier.nebis
010215533
ethz.publication.place
Cham
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich, direkt::00012 - Lehre und Forschung, direkt::00007 - Departemente, direkt::02150 - Departement Informatik / Department of Computer Science::03594 - Meyer, Bertrand (emeritus)
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich, direkt::00012 - Lehre und Forschung, direkt::00007 - Departemente, direkt::02150 - Departement Informatik / Department of Computer Science::03594 - Meyer, Bertrand (emeritus)
ethz.date.deposited
2017-06-11T11:05:36Z
ethz.source
ECIT
ethz.identifier.importid
imp5936521c0a34744646
ethz.ecitpid
pub:136632
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-13T16:34:43Z
ethz.rosetta.lastUpdated
2024-02-01T22:00:26Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Verifying%20Monadic%20Second-Order%20Properties%20of%20Graph%20Programs&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2014&rft.volume=8571&rft.spage=33&rft.epage=48&rft.issn=0302-9743&1611-3349&rft.au=Poskitt,%20Christopher%20M.&Plump,%20Detlef&rft.isbn=978-3-319-09107-5&978-3-319-09108-2&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-319-09108-2_3&rft.btitle=Graph%20Transformation%20:%207th%20International%20Conference,%20ICGT%202014,%20Held%20as%20Part%20of%20STAF%202014,%20York,%20UK,%20July%2022-24,%202014.%20Proceedings
 Search print copy at ETH Library

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record