Show simple item record

dc.contributor.author
Blanc, Nicolas
dc.contributor.author
Kroening, Daniel
dc.contributor.author
Sharygina, Natasha
dc.contributor.editor
Ramakrishnan, C. R.
dc.contributor.editor
Rehof, J.
dc.date.accessioned
2017-06-08T20:12:37Z
dc.date.available
2017-06-08T20:12:37Z
dc.date.issued
2008
dc.identifier.isbn
978-3-540-78799-0
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-540-78800-3_36
dc.identifier.uri
http://hdl.handle.net/20.500.11850/11307
dc.language.iso
en
dc.publisher
Springer
dc.title
Scoot
dc.type
Conference Paper
ethz.title.subtitle
A tool for the analysis of SystemC models
ethz.book.title
Tools and algorithms for the construction and analysis of systems
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
4963
ethz.journal.abbreviated
LNCS
ethz.pages.start
467
ethz.pages.end
470
ethz.event
14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ethz.event.location
Budapest, Hungary
ethz.event.date
March 29 - April 6, 2008
ethz.identifier.wos
ethz.identifier.nebis
005627818
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
imp59364c01273d515094
ethz.ecitpid
pub:22452
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-13T06:27:34Z
ethz.rosetta.lastUpdated
2021-02-14T05:19:28Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Scoot&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2008&rft.volume=4963&rft.spage=467&rft.epage=470&rft.issn=0302-9743&1611-3349&rft.au=Blanc,%20Nicolas&Kroening,%20Daniel&Sharygina,%20Natasha&rft.isbn=978-3-540-78799-0&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-540-78800-3_36&rft.btitle=Tools%20and%20algorithms%20for%20the%20construction%20and%20analysis%20of%20systems
 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