Rigorous System Design release_gwvs34l3njesnete23mjsq7oce

by Joseph Sifakis

Published in Foundations and Trends® in Electronic Design Automation by Now Publishers.

2012   p293-362

Archived Files and Locations

application/pdf  1.6 MB
file_xtrcmnn6cndmbbv6tdpc3kdxvm
www.nowpublishers.com (web)
web.archive.org (webarchive)
application/pdf  4.1 MB
file_yag67iz7szhsjfoetlg4xbhjme
2014.rtss.org (web)
web.archive.org (webarchive)
application/pdf  2.2 MB
file_2u52wkrds5gutafz3jolfdp2l4
web.archive.org (webarchive)
infoscience.epfl.ch (web)
application/pdf  1.1 MB
file_6fqqkpx6hndfppw3w44hmmo52e
www.podc.org (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2012
Language   en ?
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  1551-3939
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 8901ffa0-b34b-482d-abf8-9db60838edd5
API URL: JSON