Show simple item record

dc.contributor.author
Dan, Andrei
dc.contributor.author
Meshman, Yuri
dc.contributor.author
Vechev, Martin
dc.contributor.author
Yahav, Eran
dc.date.accessioned
2017-06-12T06:02:39Z
dc.date.available
2017-06-12T06:02:39Z
dc.date.issued
2017-01
dc.identifier.issn
1477-8424
dc.identifier.other
10.1016/j.cl.2016.02.003
dc.identifier.uri
http://hdl.handle.net/20.500.11850/116487
dc.language.iso
en
dc.publisher
Elsevier
dc.subject
Abstract interpretation
dc.subject
Relaxed memory models
dc.title
Effective abstractions for verification under relaxed memory models
dc.type
Conference Paper
ethz.journal.title
Computer Languages, Systems and Structures
ethz.journal.volume
47
ethz.pages.start
62
ethz.pages.end
76
ethz.event
16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015)
ethz.event.location
Mumbai, India
ethz.event.date
January 12-14, 2015
ethz.notes
Part 1. Published online 2 March 2016.
ethz.identifier.wos
ethz.identifier.scopus
ethz.identifier.nebis
004410106
ethz.publication.place
Amsterdam
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03948 - Vechev, Martin / Vechev, Martin
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03948 - Vechev, Martin / Vechev, Martin
ethz.date.deposited
2017-06-12T06:05:21Z
ethz.source
ECIT
ethz.identifier.importid
imp5936546625efb50593
ethz.ecitpid
pub:178359
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-15T21:14:08Z
ethz.rosetta.lastUpdated
2018-11-02T23:14:05Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Effective%20abstractions%20for%20verification%20under%20relaxed%20memory%20models&rft.jtitle=Computer%20Languages,%20Systems%20and%20Structures&rft.date=2017-01&rft.volume=47&rft.spage=62&rft.epage=76&rft.issn=1477-8424&rft.au=Dan,%20Andrei&Meshman,%20Yuri&Vechev,%20Martin&Yahav,%20Eran&rft.genre=proceeding&rft_id=info:doi/10.1016/j.cl.2016.02.003&
 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