Show simple item record

dc.contributor.author
Clarke, Edmund
dc.contributor.author
Kroening, Daniel
dc.contributor.author
Sharygina, Natasha
dc.contributor.author
Yorav, Karen
dc.contributor.editor
Halbwachs, Nicolas
dc.contributor.editor
Zuck, Lenore D.
dc.date.accessioned
2017-06-09T10:22:28Z
dc.date.available
2017-06-09T10:22:28Z
dc.date.issued
2005
dc.identifier.isbn
3-540-25333-5
dc.identifier.isbn
978-3-540-25333-4
dc.identifier.isbn
978-3-540-31980-1
dc.identifier.isbn
3-540-31980-8
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-540-31980-1_40
dc.identifier.uri
http://hdl.handle.net/20.500.11850/32868
dc.language.iso
en
dc.publisher
Springer
dc.title
SATABS
dc.type
Conference Paper
ethz.title.subtitle
SAT-Based Predicate Abstraction for ANSI-C
ethz.book.title
Tools and algorithms for the construction and analysis of systems : 11th international conference : proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
3440
ethz.journal.abbreviated
LNCS
ethz.pages.start
570
ethz.pages.end
574
ethz.event
11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ethz.event.location
Edinburgh, Scotland, UK
ethz.event.date
April 4-8, 2005
ethz.notes
.
ethz.identifier.wos
ethz.identifier.nebis
004933377
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.leitzahl
03686 - Kröning, Daniel
ethz.leitzahl.certified
03686 - Kröning, Daniel
ethz.date.deposited
2017-06-09T10:22:56Z
ethz.source
ECIT
ethz.identifier.importid
imp59364dde7430a56227
ethz.ecitpid
pub:53558
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-13T19:18:24Z
ethz.rosetta.lastUpdated
2018-10-01T12:16:38Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=SATABS&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2005&rft.volume=3440&rft.spage=570&rft.epage=574&rft.issn=0302-9743&1611-3349&rft.au=Clarke,%20Edmund&Kroening,%20Daniel&Sharygina,%20Natasha&Yorav,%20Karen&rft.isbn=3-540-25333-5&978-3-540-25333-4&978-3-540-31980-1&3-540-31980-8&rft.genre=proceeding&rft_id=info:doi/3-540-25333-5&info:doi/978-3-540-25333-4&info:doi/978-3-540-31980-1&info:doi/3-540-31980-8&rft.btitle=Tools%20and%20algorithms%20for%20the%20construction%20and%20analysis%20of%20systems%20:%2011th%20international%20conference%20:%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