Show simple item record

dc.contributor.author
Kroening, Daniel
dc.contributor.author
Sharygina, Natasha
dc.date.accessioned
2017-06-09T09:55:57Z
dc.date.available
2017-06-09T09:55:57Z
dc.date.issued
2005
dc.identifier.isbn
0-7803-9227-2
dc.identifier.other
10.1109/MEMCOD.2005.1487900
dc.identifier.uri
http://hdl.handle.net/20.500.11850/31628
dc.language.iso
en
dc.publisher
IEEE Operations Center
dc.title
Formal Verification of System C by Automatic Hardware/Software Partitioning
dc.type
Conference Paper
ethz.book.title
Proceedings / Third ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005, MEMOCODE '05 : 11 - 14 July 2005, [Verona, Italy], Proceedings
ethz.pages.start
101
ethz.pages.end
110
ethz.event
3rd ACM/IEEE International Conference on Formal Methods and Models for Co-Design
ethz.event.location
Verona, Italy
ethz.event.date
July 11-14, 2005
ethz.notes
.
ethz.identifier.wos
ethz.publication.place
Piscataway, NJ
ethz.publication.status
published
ethz.leitzahl
03686 - Kröning, Daniel
ethz.leitzahl.certified
03686 - Kröning, Daniel
ethz.date.deposited
2017-06-09T09:56:18Z
ethz.source
ECIT
ethz.identifier.importid
imp59364dc3860c193865
ethz.ecitpid
pub:52039
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-26T05:32:40Z
ethz.rosetta.lastUpdated
2018-01-09T07:49:49Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Formal%20Verification%20of%20System%20C%20by%20Automatic%20Hardware/Software%20Partitioning&rft.date=2005&rft.spage=101&rft.epage=110&rft.au=Kroening,%20Daniel&Sharygina,%20Natasha&rft.isbn=0-7803-9227-2&rft.genre=proceeding&rft_id=info:doi/0-7803-9227-2&rft.btitle=Proceedings%20/%20Third%20ACM%20and%20IEEE%20International%20Conference%20on%20Formal%20Methods%20and%20Models%20for%20Co-Design,%202005,%20MEMOCODE%20'05%20:%2011%20-%2
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record