What's Decidable About Sequences?
dc.contributor.author
Furia, Carlo A.
dc.contributor.editor
Bouajjani, Ahmed
dc.contributor.editor
Chin, Wei-Ngan
dc.date.accessioned
2017-06-14T14:49:41Z
dc.date.available
2017-06-14T14:49:41Z
dc.date.issued
2010
dc.identifier.isbn
978-3-642-15642-7
dc.identifier.isbn
978-3-642-15643-4
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-642-15643-4_11
dc.identifier.uri
http://hdl.handle.net/20.500.11850/158481
dc.language.iso
en
dc.publisher
Springer
dc.title
What's Decidable About Sequences?
dc.type
Conference Paper
ethz.book.title
Automated technology for verification and analysis
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
6252
ethz.journal.abbreviated
LNCS
ethz.pages.start
128
ethz.pages.end
142
ethz.event
8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010)
ethz.event.location
Singapore
ethz.event.date
September 21-24, 2010
ethz.identifier.nebis
006184712
ethz.publication.place
Berlin
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-14T14:51:02Z
ethz.source
ECIT
ethz.identifier.importid
imp59364d498784982721
ethz.ecitpid
pub:42386
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-13T12:25:00Z
ethz.rosetta.lastUpdated
2024-02-02T01:36:52Z
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=What's%20Decidable%20About%20Sequences?&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2010&rft.volume=6252&rft.spage=128&rft.epage=142&rft.issn=0302-9743&1611-3349&rft.au=Furia,%20Carlo%20A.&rft.isbn=978-3-642-15642-7&978-3-642-15643-4&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-642-15643-4_11&rft.btitle=Automated%20technology%20for%20verification%20and%20analysis
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [35263]