Show simple item record

dc.contributor.author
Basler, Gérard
dc.contributor.author
Mazzucchi, Michele
dc.contributor.author
Wahl, Thomas
dc.contributor.author
Kroening, Daniel
dc.date.accessioned
2017-06-09T05:17:53Z
dc.date.available
2017-06-09T05:17:53Z
dc.date.issued
2009
dc.identifier.isbn
978-3-642-02657-7
dc.identifier.isbn
978-3-642-02658-4
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-642-02658-4_9
dc.identifier.uri
http://hdl.handle.net/20.500.11850/21895
dc.language.iso
en
dc.publisher
Springer
dc.title
Symbolic Counter Abstraction for Concurrent Software
dc.type
Conference Paper
ethz.book.title
Computer aided verification : 21st international conference : proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
5643
ethz.journal.abbreviated
LNCS
ethz.pages.start
64
ethz.pages.end
78
ethz.event
21st International Conference on Computer Aided Verification (CAV 2009)
ethz.event.location
Grenoble, France
ethz.event.date
June 26 - July 2, 2009
ethz.identifier.wos
ethz.identifier.nebis
005861471
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.date.deposited
2017-06-09T05:18:11Z
ethz.source
ECIT
ethz.identifier.importid
imp59364cf5c9c7083899
ethz.ecitpid
pub:36680
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T20:35:59Z
ethz.rosetta.lastUpdated
2021-02-14T06:24:56Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Symbolic%20Counter%20Abstraction%20for%20Concurrent%20Software&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2009&rft.volume=5643&rft.spage=64&rft.epage=78&rft.issn=0302-9743&1611-3349&rft.au=Basler,%20G%C3%A9rard&Mazzucchi,%20Michele&Wahl,%20Thomas&Kroening,%20Daniel&rft.isbn=978-3-642-02657-7&978-3-642-02658-4&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-642-02658-4_9&rft.btitle=Computer%20aided%20verification%20:%2021st%20international%20conference%20:%20proceedings
 Search print copy at ETH Library

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record