Show simple item record

dc.contributor.author
Furia, Carlo Alberto
dc.contributor.author
Spoletini, Paola
dc.date.accessioned
2017-06-09T18:36:31Z
dc.date.available
2017-06-09T18:36:31Z
dc.date.issued
2011
dc.identifier.isbn
978-1-4577-1242-5
dc.identifier.other
10.1109/TIME.2011.9
dc.identifier.uri
http://hdl.handle.net/20.500.11850/44694
dc.language.iso
en
dc.publisher
IEEE
dc.subject
Linear temporal logic
dc.subject
Quantitative time
dc.subject
Bounded variability
dc.subject
Satisfiability
dc.title
On Relaxing Metric Information in Linear Temporal Logic
dc.type
Conference Paper
ethz.book.title
Proceedings. Eighteenth International Symposium on Temporal Representation and Reasoning. TIME 2011
ethz.pages.start
72
ethz.pages.end
79
ethz.event
Eighteenth International Symposium on Temporal Representation and Reasoning (TIME 2011)
ethz.event.location
Lübeck, Germany
ethz.event.date
September 12-14, 2011
ethz.notes
.
ethz.publication.place
Piscataway, NJ
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-09T18:36:43Z
ethz.source
ECIT
ethz.identifier.importid
imp59364edecda9856991
ethz.ecitpid
pub:73653
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T12:04:16Z
ethz.rosetta.lastUpdated
2017-07-12T12:04:16Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=On%20Relaxing%20Metric%20Information%20in%20Linear%20Temporal%20Logic&rft.date=2011&rft.spage=72&rft.epage=79&rft.au=Furia,%20Carlo%20Alberto&Spoletini,%20Paola&rft.isbn=978-1-4577-1242-5&rft.genre=proceeding&rft_id=info:doi/978-1-4577-1242-5&rft.btitle=Proceedings.%20Eighteenth%20International%20Symposium%20on%20Temporal%20Representation%20and%20Reasoning.%20TIME%202011
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record