Incremental Analysis of Evolving Alloy Models
Saved in:
| Published in: | Tools and Algorithms for the Construction and Analysis of Systems Vol. 11427 |
|---|---|
| Format: | Book Chapter |
| Language: | English |
| Published: |
Switzerland
Springer International Publishing AG
2019
|
| ISBN: | 3030174611, 9783030174613 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| BookMark | eNo1jstOwzAURI14CFLyByzyA4Z7bSe2l1VVSqUiNt1Hjh-lYOISh0r9eyIeq9GcxcwpyEWfek_IHcI9AsgHLRXlFDhQlKJhFFqEM1JOmE_wh8E5Kf4L4hUpEDkTTAEX16TM-Q0AGHIphL4hdN3bwX_4fjSxmvcmnvI-VylUy2OKx32_q-YxplP1nJyP-ZZcBhOzL_9yRraPy-3iiW5eVuvFfEN3TNUj5Z6LzjoWkGnmXC2MqLnWITTK-sZqZxEsgLUBVe3UJC980xkXUCrdKT4j4nf2MKTPL5_H1ncpvdvJcjDRvprD6Ifc1hqVVNhOLy1qxr8BLQRQsg |
|---|---|
| ContentType | Book Chapter |
| DBID | FFUUA |
| DOI | 10.1007/978-3-030-17462-0_10 |
| DatabaseName | ProQuest Ebook Central - Book Chapters - Demo use only |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9783030174620 303017462X |
| Editor | Zhang, Lijun Vojnar, Tomás |
| Editor_xml | – sequence: 1 fullname: Vojnar, Tomás – sequence: 2 fullname: Zhang, Lijun |
| ExternalDocumentID | EBC5918781_129_192 |
| GroupedDBID | 0DA 38. AABBV AAJYQ AAKKN AALJR AAQKC AATVQ ABBUY ABCYT ABEEZ ACDTA ACDUY ADOGT AEDXK AEHEY AEJLV AEKFX AEZAY AGWHU AHNNE AIFIR AIQUZ ALEXF ALMA_UNASSIGNED_HOLDINGS ALNDD ATJMZ AYMPB BBABE CXBFT CZZ EIXGO EXGDT FCSXQ FFUUA I4C IEZ MGZZY NSQWD OORQV SBO TPJZQ TSXQS V1H Z83 Z88 |
| ID | FETCH-LOGICAL-g285t-3e34bcd2f1292dd54a45399ff68ce6c9dc10c00ccf185d89784e6badf1789b83 |
| ISBN | 3030174611 9783030174613 |
| ISICitedReferencesCount | 6 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000681166500010&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Tue Oct 21 00:09:53 EDT 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| LCCallNum | QA75.5-76.95 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-g285t-3e34bcd2f1292dd54a45399ff68ce6c9dc10c00ccf185d89784e6badf1789b83 |
| OCLC | 1132428034 |
| OpenAccessLink | https://link.springer.com/content/pdf/10.1007%2F978-3-030-17462-0_10.pdf |
| PQID | EBC5918781_129_192 |
| ParticipantIDs | proquest_ebookcentralchapters_5918781_129_192 |
| PublicationCentury | 2000 |
| PublicationDate | 2019 |
| PublicationDateYYYYMMDD | 2019-01-01 |
| PublicationDate_xml | – year: 2019 text: 2019 |
| PublicationDecade | 2010 |
| PublicationPlace | Switzerland |
| PublicationPlace_xml | – name: Switzerland |
| PublicationSubtitle | 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I |
| PublicationTitle | Tools and Algorithms for the Construction and Analysis of Systems |
| PublicationYear | 2019 |
| Publisher | Springer International Publishing AG |
| Publisher_xml | – name: Springer International Publishing AG |
| SSID | ssj0002137449 |
| Score | 2.1778967 |
| SourceID | proquest |
| SourceType | Publisher |
| Title | Incremental Analysis of Evolving Alloy Models |
| URI | http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=5918781&ppg=192 |
| Volume | 11427 |
| WOSCitedRecordID | wos000681166500010&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV07T8MwELZaxIAYeIu3MrBaqmM7tseCCh0QYqgQW1W_AClKykMI_j3nuEnTwtKBJYoiO_Lpcy7nz_7uELrwlBOrOcUwHxRmnCqsnfeYc-G09NmE2wrpW3F3Jx8f1X2n06j4P3NRFPLrS03_FWp4BmAH6ewKcDcvhQdwD6DDFWCH61JEvMi9RtTLMo9Zl_v5UwkL_-eYcKGKL0NxzjpdbGzTykjSTl3eHG83kT0MMLaaDsClVTxEP8_L76qcWr5AHwTF0gJ9UNOHSwRkiwPr3ywsOWlYQwmWRQVp40MJixL_Xx65fQgDuuLQN8Vh53v-B6p33Uksi7eUAHtwecUVkUKSMQQn49Bo-opD3bCwvz4rotJFXSGCn3sgw4ZjSwkVjKkg6alHTWLSpbkVLTnlX4P89Yuu4o7RNtoMWpQkiERgrDuo44pdtFVX4khmjnkP4RZUSQ1VUvqkhiqpoEoiVPtodD0YXQ3xrBAGfkol_8DUUaaNTT3Yn1rL2SR8VMr7TBqXGWUN6ZlezxgP0ZeVYAdzmZ5YT4RUWtIDtFaUhTtESSZT4yxJDdeCeUsmPcqkhqCTKq3g7UcI1-aOq9362RFhE-18Hy8hcbxi-xO0MZ-Ep2gNJr07Q-vm8-Pl_e28Qu8HJMBNow |
| linkProvider | Open Access Publishing in European Networks |
| 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=bookitem&rft.title=Tools+and+Algorithms+for+the+Construction+and+Analysis+of+Systems&rft.atitle=Incremental+Analysis+of+Evolving+Alloy+Models&rft.date=2019-01-01&rft.pub=Springer+International+Publishing+AG&rft.isbn=9783030174613&rft.volume=11427&rft_id=info:doi/10.1007%2F978-3-030-17462-0_10&rft.externalDBID=192&rft.externalDocID=EBC5918781_129_192 |
| thumbnail_s | http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F5918781-l.jpg |