Rigorous System Design

Saved in:
Bibliographic Details
Published inFoundations and trends in electronic design automation
Format Journal Article
LanguageEnglish
Published 01.01.2013
Online AccessGet full text
ISSN1551-3939
1551-3947
DOI10.1561/1000000034

Cover

BookMark eNpFjrsKwjAUQDPooNXFwdldqvfmNrYZxTcUBB9zSdNECrWVPpD-vUgFz3K2wxmyXl7khrEJwgLFCpcIHeT12ACFQJckyQGbXtJHURZNNbu2VW2es62p0kc-Yn2rssqMf3bYfb-7bY5ueD6cNuvQ1YLz2sUEEyFBBpILjJVvbKA0WVAWY4iJRMC5RakTn3sGYuMFKwNowfqSSIMmh827bpO_VPtWWRa9yvSpyjZCiL7n0f-cPrb_OMw
CitedBy_id crossref_primary_10_46548_21vek_2022_1158_0004
crossref_primary_10_1073_pnas_2003162117
crossref_primary_10_1145_3424667
crossref_primary_10_1007_s10009_021_00632_0
crossref_primary_10_1109_JPROC_2018_2849003
crossref_primary_10_1142_S021853932450044X
crossref_primary_10_4204_EPTCS_272_1
crossref_primary_10_1093_logcom_exz014
crossref_primary_10_1145_3545178
crossref_primary_10_1007_s00165_015_0349_8
crossref_primary_10_4204_EPTCS_272_7
crossref_primary_10_1016_j_jss_2018_07_053
crossref_primary_10_1007_s10009_022_00687_7
crossref_primary_10_1016_j_array_2020_100030
crossref_primary_10_1002_spe_2568
ContentType Journal Article
DBID ADTOC
UNPAY
DOI 10.1561/1000000034
DatabaseName Unpaywall for CDI: Periodical Content
Unpaywall
Database_xml – sequence: 1
  dbid: UNPAY
  name: Unpaywall
  url: https://proxy.k.utb.cz/login?url=https://unpaywall.org/
  sourceTypes: Open Access Repository
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
ExternalDocumentID oai:infoscience.epfl.ch:185999
GroupedDBID .DC
00S
29H
3R.
3R~
5GY
ADTOC
ALMA_UNASSIGNED_HOLDINGS
EBS
EJD
IAO
ICD
IEA
IFM
IOF
ITC
IVC
N95
NOG
NOJ
NOT
NOW
P2P
UNPAY
ID FETCH-LOGICAL-c522t-1d1d590989251ba7ef8ac3f0af1b0b335822f19cd724e0be486e01f0f7933c0c3
IEDL.DBID UNPAY
ISSN 1551-3939
1551-3947
IngestDate Sun Oct 26 03:59:09 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c522t-1d1d590989251ba7ef8ac3f0af1b0b335822f19cd724e0be486e01f0f7933c0c3
OpenAccessLink https://proxy.k.utb.cz/login?url=http://infoscience.epfl.ch/record/185999
ParticipantIDs unpaywall_primary_10_1561_1000000034
PublicationCentury 2000
PublicationDate 20130101
PublicationDateYYYYMMDD 2013-01-01
PublicationDate_xml – month: 01
  year: 2013
  text: 20130101
  day: 01
PublicationDecade 2010
PublicationTitle Foundations and trends in electronic design automation
PublicationYear 2013
Score 2.0777524
SourceID unpaywall
SourceType Open Access Repository
Title Rigorous System Design
URI http://infoscience.epfl.ch/record/185999
UnpaywallVersion submittedVersion
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjZ1LSwMxEMcHbQ_ag-_imz30mprsZh85FrUUwSJioZ5Kkk1ULNtSdxH99M5mV1vwoLcccggzJPOfYfIbgE4qrWV-qojV0hLOmCCCxyEJA4XBwOhYO9jz7TAajPjNOBwv6x2lVeunH59jO-3q5-_ZaBhYUMysQzMKUXU3oDka3vUeHQ41ZCQQbmhYveZxTSJFdXDhKtgOxNKCjSKby493OZ2uRJH-doU0enPwwbJ55LVb5KqrP3-jGf884A5s1VLS61W-34U1k-1BawUwuA_t-5en2QKTe68ik3tXrmHjAEb964fLAaknIRCN-ignLGVpKKhIBMoRJWNjE6kDS6Vliqqg_O3qWyZ0GvvcUGV4EhnKLLV4-wJNddCGRjbLzCF4gga-9v1UhhKTI6ETrmyKOsRifholXB9B58dGk3lFvJiUmQKacrI05fH_tp3Apu_mR5Q1i1No5IvCnGEUz9V57cAvA06YIw
linkProvider Unpaywall
linkToUnpaywall http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjZ1LSwMxEMcHbQ_ag-_imz30mprsZh85FrUUwSJioZ5Kkk1ULNtSdxH99M5mV1vwoLcccggzJPOfYfIbgE4qrWV-qojV0hLOmCCCxyEJA4XBwOhYO9jz7TAajPjNOBwv6x2lVeunH59jO-3q5-_ZaBhYUMysQzMKUXU3oDka3vUeHQ41ZCQQbmhYveZxTSJFdXDhKtgOxNKCjSKby493OZ2uRJH-doU0enPwwbJ55LVb5KqrP3-jGf884A5s1VLS61W-34U1k-1BawUwuA_t-5en2QKTe68ik3tXrmHjAEb964fLAaknIRCN-ignLGVpKKhIBMoRJWNjE6kDS6Vliqqg_O3qWyZ0GvvcUGV4EhnKLLV4-wJNddCGRjbLzCF4gga-9v1UhhKTI6ETrmyKOsRifholXB9B58dGk3lFvJiUmQKacrI05fH_tp3Apu_mR5Q1i1No5IvCnGEUz9V57cAvA06YIw
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Rigorous+System+Design&rft.jtitle=Foundations+and+trends+in+electronic+design+automation&rft.date=2013-01-01&rft.issn=1551-3939&rft_id=info:doi/10.1561%2F1000000034&rft.externalDocID=oai%3Ainfoscience.epfl.ch%3A185999
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1551-3939&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1551-3939&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1551-3939&client=summon