Don't care words with an application to the automata-based approach for real addition (Extended abstract)
dc.contributor.author
Eisinger, Jochen
dc.contributor.author
Klaedtke, Felix
dc.contributor.editor
Ball, Thomas
dc.contributor.editor
Jones, Robert B.
dc.date.accessioned
2017-06-09T11:29:24Z
dc.date.available
2017-06-09T11:29:24Z
dc.date.issued
2006
dc.identifier.isbn
3-540-37406-X
dc.identifier.isbn
978-3-540-37406-0
dc.identifier.isbn
9783540374114
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/11817963
dc.identifier.uri
http://hdl.handle.net/20.500.11850/36079
dc.language.iso
en
dc.publisher
Springer
dc.title
Don't care words with an application to the automata-based approach for real addition (Extended abstract)
dc.type
Conference Paper
ethz.book.title
Computer aided verification : 18th international conference : proceedings / CAV 2006, Seattle, WA, USA, August 17-20, 2006
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
4144
ethz.journal.abbreviated
LNCS
ethz.pages.start
67
ethz.pages.end
80
ethz.event
18th International Conference on Computer Aided Verification (CAV 2006)
ethz.event.location
Seattle, WA, USA
ethz.event.date
August 17-20, 2006
ethz.identifier.wos
ethz.identifier.nebis
005238768
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.date.deposited
2017-06-09T11:29:53Z
ethz.source
ECIT
ethz.identifier.importid
imp59364e1f5b18296368
ethz.ecitpid
pub:57662
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-25T10:05:25Z
ethz.rosetta.lastUpdated
2024-02-01T17:30:41Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Don't%20care%20words%20with%20an%20application%20to%20the%20automata-based%20approach%20for%20real%20addition%20(Extended%20abstract)&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2006&rft.volume=4144&rft.spage=67&rft.epage=80&rft.issn=0302-9743&1611-3349&rft.au=Eisinger,%20Jochen&Klaedtke,%20Felix&rft.isbn=3-540-37406-X&978-3-540-37406-0&9783540374114&rft.genre=proceeding&rft_id=info:doi/10.1007/11817963&rft.btitle=Computer%20aided%20verification%20:%2018th%20international%20conference%20:%20proceedings%20/%20CAV%202006,%20Seattle,%20WA,%20USA,%20August%2017-20,%202006
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [34969]