Show simple item record

dc.contributor.author
Clarke, Edmund
dc.contributor.author
Jain, Himanshu
dc.contributor.author
Kroening, Daniel
dc.date.accessioned
2017-06-10T18:23:58Z
dc.date.available
2017-06-10T18:23:58Z
dc.date.issued
2007-02
dc.identifier.issn
0925-9856
dc.identifier.issn
1572-8102
dc.identifier.other
10.1007/s10703-006-0020-3
dc.identifier.uri
http://hdl.handle.net/20.500.11850/68500
dc.language.iso
en
dc.publisher
Springer
dc.subject
Verification
dc.subject
System level design
dc.subject
Predicate abstraction
dc.title
Verification of SpecC using predicate abstraction
dc.type
Journal Article
ethz.journal.title
Formal Methods in System Design
ethz.journal.volume
30
ethz.journal.issue
1
ethz.journal.abbreviated
Form Methods Syst Des
ethz.pages.start
5
ethz.pages.end
28
ethz.notes
Published online 31 August 2006.
ethz.identifier.wos
ethz.identifier.nebis
000649033
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.date.deposited
2017-06-10T18:26:08Z
ethz.source
ECIT
ethz.identifier.importid
imp593650b9bd5fc63147
ethz.ecitpid
pub:108722
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-15T02:17:33Z
ethz.rosetta.lastUpdated
2021-02-14T10:28:26Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Verification%20of%20SpecC%20using%20predicate%20abstraction&rft.jtitle=Formal%20Methods%20in%20System%20Design&rft.date=2007-02&rft.volume=30&rft.issue=1&rft.spage=5&rft.epage=28&rft.issn=0925-9856&1572-8102&rft.au=Clarke,%20Edmund&Jain,%20Himanshu&Kroening,%20Daniel&rft.genre=article&rft_id=info:doi/10.1007/s10703-006-0020-3&
 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