Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
Saved in:
| Format | Book |
|---|---|
| Language | English |
| Online Access | Get full text |
| DOI | 10.1007/978-1-4615-5199-7 |
Cover
| BookMark | eNotz0FLwzAcBfAc9KDTD-AtXyCaLE3THHU4FSoTdF7Dv01iA21amrhRP70t2-nBe_Dgd40uQh8sQneM3jNK5YOSBWEky5kggilF5BXaf_RHO-LdkHzn_yD5PmAIBn9OITU2-ogh4SfbwMH3I7TnLSbb4dIebBvxPvrwg7f92M3zu01Nb-INunTQRnt7zhX63j5_bV5JuXt52zyWBFhRSE6q3KwpA8ELWjGVQcVp7sTcuVqCqIta8Tyja8OEZaZ2YF1upFKVsjITqnJ8hdan498wwHSEttXD6DsYJ82oXtB6RmumF7Re0Fryf1tOUpU |
|---|---|
| ContentType | Book |
| DBID | ABOKW UNPAY |
| DOI | 10.1007/978-1-4615-5199-7 |
| DatabaseName | Unpaywall for CDI: Monographs and Miscellaneous 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 |
| ExternalDocumentID | 10.1007/978-1-4615-5199-7 |
| GroupedDBID | ABOKW UNPAY |
| ID | FETCH-LOGICAL-a18873-b6d201a5380b194ab306f5d20fc7a5c8c936402d15e1dcfaef6d799b9e7459bf3 |
| IEDL.DBID | UNPAY |
| IngestDate | Thu Aug 28 11:01:01 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a18873-b6d201a5380b194ab306f5d20fc7a5c8c936402d15e1dcfaef6d799b9e7459bf3 |
| OpenAccessLink | https://proxy.k.utb.cz/login?url=https://link.springer.com/content/pdf/bfm%3A978-1-4615-5199-7%2F1.pdf |
| ParticipantIDs | unpaywall_primary_10_1007_978_1_4615_5199_7 |
| Score | 1.7847214 |
| SourceID | unpaywall |
| SourceType | Open Access Repository |
| Title | Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods |
| URI | https://link.springer.com/content/pdf/bfm%3A978-1-4615-5199-7%2F1.pdf |
| UnpaywallVersion | publishedVersion |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3PS8MwFA6zO4gXFRUVlRy8SbZ1TdPmqLIxxM2BTuap5CeIMw7bIfOv96Vrh3oTr0kL5YW8973m-74gdA4tg-HSJoRFKiXekYrw1LPMqeYRjHcM8wLn4YgNJvRmGk8bqFdrYUq2e30kudI0eJcmV7Tn2ral9X-vq8YHajEB_MFJKRpvwfwGarIYIHmAmpPR-PKpPsWsjGR_vLOFNhduLpYfYjb7VlH62yvmR14aEXoiyUtrUciW-vxl0_jvj91BgZcz7KKGcXtoMvaXouE7yBOvlQATC6fx_dIBEMyfcywKfLVW7ldz3usZ33p2UY5LigHue6Q7w8Py-ul8Hz32ew_XA1JdrEBECEklIpJpKPwCkl1HhpwKCY2DjWHMqkTEKlU8YtBY6jA2oVZWGMt0wrnkJqExLG10gAL35swhwgAweUf7PodSarpdmUptOezyLlXU8ugIXazjnM1XDhpZ7ZUMwcnCzAcn88HJkuM_PX2CguJ9YU4BFhTyrFr0L9Yutmc |
| linkProvider | Unpaywall |
| linkToUnpaywall | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3PS8MwFA6zO4gXFRUVlRy8SbZ1TdPmqLIxxM2BTuap5CeIMw7bIfOv96Vrh3oTr0kL5YW8973m-74gdA4tg-HSJoRFKiXekYrw1LPMqeYRjHcM8wLn4YgNJvRmGk8bqFdrYUq2e30kudI0eJcmV7Tn2ral9X-vq8YHajEB_MFJKRpvwfwGarIYIHmAmpPR-PKpPsWsjGR_vLOFNhduLpYfYjb7VlH62yvmR14aEXoiyUtrUciW-vxl0_jvj91BgZcz7KKGcXtoMvaXouE7yBOvlQATC6fx_dIBEMyfcywKfLVW7ldz3usZ33p2UY5LigHue6Q7w8Py-ul8Hz32ew_XA1JdrEBECEklIpJpKPwCkl1HhpwKCY2DjWHMqkTEKlU8YtBY6jA2oVZWGMt0wrnkJqExLG10gAL35swhwgAweUf7PodSarpdmUptOezyLlXU8ugIXazjnM1XDhpZ7ZUMwcnCzAcn88HJkuM_PX2CguJ9YU4BFhTyrFr0L9Yutmc |
| 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%3Abook&rft.genre=book&rft.title=Power+Optimization+and+Synthesis+at+Behavioral+and+System+Levels+Using+Formal+Methods&rft_id=info:doi/10.1007%2F978-1-4615-5199-7&rft.externalDocID=10.1007%2F978-1-4615-5199-7 |