Show simple item record

dc.contributor.author
Artho, Cyrille
dc.contributor.author
Schuppan, Viktor
dc.contributor.author
Biere, Armin
dc.contributor.author
Eugster, Pascal
dc.contributor.author
Baur, Marcel
dc.contributor.author
Zweimüller, Boris
dc.date.accessioned
2017-06-10T01:09:48Z
dc.date.available
2017-06-10T01:09:48Z
dc.date.issued
2004
dc.identifier.isbn
3-540-22342-8
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-540-27813-9_37
dc.identifier.uri
http://hdl.handle.net/20.500.11850/49688
dc.language.iso
en
dc.publisher
Springer
dc.title
JNuke
dc.type
Conference Paper
ethz.title.subtitle
Efficient dynamic analysis for Java
ethz.book.title
Computer aided verification : 16th international conference : proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
3114
ethz.journal.abbreviated
LNCS
ethz.pages.start
462
ethz.pages.end
465
ethz.event
16th International Conference on Computer Aided Verification (CAV 2004)
ethz.event.location
Boston, MA, USA
ethz.event.date
July 13-17, 2004
ethz.notes
.
ethz.identifier.wos
ethz.identifier.nebis
004770218
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.date.deposited
2017-06-10T01:11:38Z
ethz.source
ECIT
ethz.identifier.importid
imp59364f4320e7982520
ethz.ecitpid
pub:81563
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-13T18:09:58Z
ethz.rosetta.lastUpdated
2018-10-01T17:07:23Z
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=JNuke&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2004&rft.volume=3114&rft.spage=462&rft.epage=465&rft.issn=0302-9743&1611-3349&rft.au=Artho,%20Cyrille&Schuppan,%20Viktor&Biere,%20Armin&Eugster,%20Pascal&Baur,%20Marcel&rft.isbn=3-540-22342-8&rft.genre=proceeding&rft_id=info:doi/3-540-22342-8&rft.btitle=Computer%20aided%20verification%20:%2016th%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