Loop Summarization Using Abstract Transformers
dc.contributor.author
Kroening, Daniel
dc.contributor.author
Sharygina, Natasha
dc.contributor.author
Tonetta, Stefano
dc.contributor.author
Tsitovich, Aliaksei
dc.contributor.author
Wintersteiger, Christoph M.
dc.contributor.editor
Cha, Sungdeok (Steve)
dc.contributor.editor
Choi, Jin-Young
dc.contributor.editor
Kim, Moonzoo
dc.contributor.editor
Lee, Insup
dc.contributor.editor
Viswanathan, Mahesh
dc.date.accessioned
2017-06-08T20:12:36Z
dc.date.available
2017-06-08T20:12:36Z
dc.date.issued
2008
dc.identifier.isbn
978-3-540-88386-9
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-540-88387-6_10
dc.identifier.uri
http://hdl.handle.net/20.500.11850/11302
dc.language.iso
en
dc.publisher
Springer
dc.title
Loop Summarization Using Abstract Transformers
dc.type
Conference Paper
ethz.book.title
Automated technology for verification and analysis : 6th international symposium : proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
5311
ethz.journal.abbreviated
LNCS
ethz.pages.start
111
ethz.pages.end
125
ethz.event
6th International Symposium on Automated Technology for Verification and Analysis (ATVA 2008)
ethz.event.location
Seoul, South Korea
ethz.event.date
October 20-23, 2008
ethz.identifier.nebis
005723197
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-08T20:12:40Z
ethz.source
ECIT
ethz.identifier.importid
imp59364c010e58978662
ethz.ecitpid
pub:22447
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-19T09:44:42Z
ethz.rosetta.lastUpdated
2024-02-01T15:02:09Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Loop%20Summarization%20Using%20Abstract%20Transformers&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2008&rft.volume=5311&rft.spage=111&rft.epage=125&rft.issn=0302-9743&1611-3349&rft.au=Kroening,%20Daniel&Sharygina,%20Natasha&Tonetta,%20Stefano&Tsitovich,%20Aliaksei&Wintersteiger,%20Christoph%20M.&rft.isbn=978-3-540-88386-9&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-540-88387-6_10&rft.btitle=Automated%20technology%20for%20verification%20and%20analysis%20:%206th%20international%20symposium%20:%20proceedings
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [35277]