Show simple item record

dc.contributor.author
Heule, Stefan
dc.contributor.author
Leino, K. Rustan M.
dc.contributor.author
Müller, Peter
dc.contributor.author
Summers, Alexander J.
dc.contributor.editor
Giacobazzi, Roberto
dc.contributor.editor
Berdine, Josh
dc.contributor.editor
Mastroeni, Isabella
dc.date.accessioned
2017-06-10T20:09:44Z
dc.date.available
2017-06-10T20:09:44Z
dc.date.issued
2013
dc.identifier.isbn
978-3-642-35872-2
dc.identifier.isbn
978-3-642-35873-9
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-642-35873-9_20
dc.identifier.uri
http://hdl.handle.net/20.500.11850/70557
dc.language.iso
en
dc.publisher
Springer
dc.title
Abstract Read Permissions
dc.type
Conference Paper
ethz.title.subtitle
Fractional Permissions without the Fractions
ethz.book.title
Verification, Model Checking, and Abstract Interpretation : 14th International Conference : Proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
7737
ethz.journal.abbreviated
LNCS
ethz.pages.start
315
ethz.pages.end
334
ethz.event
14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2013)
ethz.event.location
Rome, Italy
ethz.event.date
January 20-22, 2013
ethz.notes
.
ethz.identifier.nebis
009896272
ethz.publication.place
Berlin
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::03653 - Müller, Peter / Müller, Peter
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::03653 - Müller, Peter / Müller, Peter
ethz.date.deposited
2017-06-10T20:12:58Z
ethz.source
ECIT
ethz.identifier.importid
imp593650e35b02d37446
ethz.ecitpid
pub:111712
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T14:46:25Z
ethz.rosetta.lastUpdated
2018-11-02T10:25:41Z
ethz.rosetta.exportRequired
true
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Abstract%20Read%20Permissions&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2013&rft.volume=7737&rft.spage=315&rft.epage=334&rft.issn=0302-9743&1611-3349&rft.au=Heule,%20Stefan&Leino,%20K.%20Rustan%20M.&M%C3%BCller,%20Peter&Summers,%20Alexander%20J.&rft.isbn=978-3-642-35872-2&978-3-642-35873-9&rft.genre=proceeding&rft_id=info:doi/978-3-642-35872-2&info:doi/978-3-642-35873-9&rft.btitle=Verification,%20Model%20Checking,%20and%20Abstract%20Interpretation%20:%2014th%20International%20Conference%20:%20Proceedings
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record