Show simple item record

dc.contributor.author
Basin, David
dc.contributor.author
Klaedtke, Felix
dc.contributor.author
Müller, Samuel
dc.contributor.author
Pfitzmann, Birgit
dc.contributor.editor
Hariharan, Ramesh
dc.contributor.editor
Mukund, Madhavan
dc.contributor.editor
Vinay, V.
dc.date.accessioned
2017-06-08T20:12:32Z
dc.date.available
2017-06-08T20:12:32Z
dc.date.issued
2008
dc.identifier.isbn
978-3-939897-08-8
dc.identifier.uri
http://hdl.handle.net/20.500.11850/11283
dc.language.iso
en
dc.publisher
Leibniz-Zentrum für Informatik
dc.title
Runtime Monitoring of Metric First-order Temporal Properties
dc.type
Conference Paper
ethz.book.title
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008)
ethz.pages.start
49
ethz.pages.end
60
ethz.event
28th IARCS Annual Conference on Foundations of Software Technology and Theoretical ComputerScience (FSTTCS'08)
ethz.event.date
December 9-11, 2008
ethz.notes
.
ethz.publication.place
Dagstuhl
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.identifier.url
http://drops.dagstuhl.de/opus/volltexte/2008/1740/pdf/08004.BasinDavid.1740.pdf
ethz.date.deposited
2017-06-08T20:12:40Z
ethz.source
ECIT
ethz.identifier.importid
imp59364c00a980185897
ethz.ecitpid
pub:22422
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T23:06:19Z
ethz.rosetta.lastUpdated
2018-10-01T06:05:25Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Runtime%20Monitoring%20of%20Metric%20First-order%20Temporal%20Properties&rft.date=2008&rft.spage=49&rft.epage=60&rft.au=Basin,%20David&Klaedtke,%20Felix&M%C3%BCller,%20Samuel&Pfitzmann,%20Birgit&rft.isbn=978-3-939897-08-8&rft.genre=proceeding&rft_id=info:doi/978-3-939897-08-8&rft.btitle=IARCS%20Annual%20Conference%20on%20Foundations%20of%20Software%20Technology%20and%20Theoretical%20Computer%20Science%20(FSTTCS%202008)
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record