Show simple item record

dc.contributor.author
Basin, David
dc.contributor.author
Caronni, Germano
dc.contributor.author
Ereth, Sarah
dc.contributor.author
Harvan, Matúš
dc.contributor.author
Klaedtke, Felix
dc.contributor.author
Mantel, Heiko
dc.contributor.editor
Bonakdarpour, Borzoo
dc.contributor.editor
Smolka, Scott A.
dc.date.accessioned
2017-06-11T12:31:19Z
dc.date.available
2017-06-11T12:31:19Z
dc.date.issued
2014
dc.identifier.isbn
978-3-319-11163-6
dc.identifier.isbn
978-3-319-11164-3
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-319-11164-3_4
dc.identifier.uri
http://hdl.handle.net/20.500.11850/89462
dc.language.iso
en
dc.publisher
Springer International Publishing
dc.title
Scalable Offline Monitoring
dc.type
Conference Paper
ethz.book.title
Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
8734
ethz.journal.abbreviated
LNCS
ethz.pages.start
31
ethz.pages.end
47
ethz.event
5th International Conference, RV 2014
ethz.event.location
Toronto, Canada
ethz.event.date
September 22-25, 2014
ethz.notes
.
ethz.identifier.wos
ethz.identifier.nebis
010288235
ethz.publication.place
Cham
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::02660 - Institut für Informationssicherheit::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-11T12:32:02Z
ethz.source
ECIT
ethz.identifier.importid
imp5936524fe2bdf94243
ethz.ecitpid
pub:140726
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T22:50:31Z
ethz.rosetta.lastUpdated
2018-11-02T15:52:58Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Scalable%20Offline%20Monitoring&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2014&rft.volume=8734&rft.spage=31&rft.epage=47&rft.issn=0302-9743&1611-3349&rft.au=Basin,%20David&Caronni,%20Germano&Ereth,%20Sarah&Harvan,%20Mat%C3%BA%C5%A1&Klaedtke,%20Felix&rft.isbn=978-3-319-11163-6&978-3-319-11164-3&rft.genre=proceeding&rft_id=info:doi/978-3-319-11163-6&info:doi/978-3-319-11164-3&rft.btitle=Runtime%20Verification%20:%205th%20International%20Conference,%20RV%202014,%20Toronto,%20ON,%20Canada,%20September%2022-25,%202014.%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