Optimal Time-Bounded Reachability Analysis for Concurrent Systems
Uložené v:
| Vydané v: | Tools and Algorithms for the Construction and Analysis of Systems Ročník 11428 |
|---|---|
| Médium: | Kapitola |
| Jazyk: | English |
| Vydavateľské údaje: |
Switzerland
Springer International Publishing AG
2019
|
| ISBN: | 9783030174644, 3030174646 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| BookMark | eNpVjslOwzAURY0YBC39Axb5AcN7HmJ7WSomqVIlKOvISZ4hkMYlThf5eyJgw-rqnsXRmbGTLnbE2BXCNQKYG2cslxwkcDQq1xwLxCO2mLCc4A_D439fqTM2Q3C5FNrk6pwtUvoAAIHSKA0XbLnZD83Ot9m22RG_jYeupjp7Jl-9-7Jpm2HMlp1vx9SkLMQ-W8WuOvQ9dUP2MqaBdumSnQbfJlr87Zy93t9tV498vXl4Wi3X_E1oOXDpVWmRyFQKSxRBka-dBCdEKYyG2vncOqsgSFDBCaBgHNkcJZbBkCU5Z-rXu-_j14HSUFAZ42c1pfS-nXL3A_Wp0A6dkKJAbQsBVn4D6TlYkg |
|---|---|
| ContentType | Book Chapter |
| DBID | FFUUA |
| DOI | 10.1007/978-3-030-17465-1_11 |
| DatabaseName | ProQuest Ebook Central - Book Chapters - Demo use only |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9783030174651 3030174654 |
| Editor | Zhang, Lijun Vojnar, Tomás |
| Editor_xml | – sequence: 1 fullname: Vojnar, Tomás – sequence: 2 fullname: Zhang, Lijun |
| ExternalDocumentID | EBC5919232_158_208 |
| 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-g253t-3a4b81ee7c41b12f4ead930922b2750d9a689840f304f920ef79e86131bf7e8e3 |
| ISBN | 9783030174644 3030174646 |
| ISICitedReferencesCount | 7 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000681174300011&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 02:55:33 EDT 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| LCCallNum | QA75.5-76.95 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-g253t-3a4b81ee7c41b12f4ead930922b2750d9a689840f304f920ef79e86131bf7e8e3 |
| OCLC | 1096325764 |
| PQID | EBC5919232_158_208 |
| ParticipantIDs | proquest_ebookcentralchapters_5919232_158_208 |
| 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 II |
| 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 | ssj0002137450 |
| Score | 2.1844563 |
| SourceID | proquest |
| SourceType | Publisher |
| Title | Optimal Time-Bounded Reachability Analysis for Concurrent Systems |
| URI | http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=5919232&ppg=208 |
| Volume | 11428 |
| WOSCitedRecordID | wos000681174300011&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/eLvHCXMwtV1NT9wwELVgxaHqodAWlQKVD71aSvwR28ddBOwBQQ8UcYvixAYkyAKLqu2_ZyZxdpMtFw69RJHlOE5ePJmZ5L0h5GchSxeU9iwpJQQoKEPoMp8wp52qYG2FqkldXJ3p83NzfW1_RbrivCknoOvaLBb28b9CDW0ANlJn3wH3clBogH0AHbYAO2zXPOJh7rVFfTa7b1WXx_c3Mwj8b1vBhca_xOKcnVxs26enSNKXLo-P0AWYkwfk7989eDbB-kseyYxFGcW9_64GwFPA8GVUe-oPFlMKyGIapBS6lOJaUrKXFxufDsJQgXGVllmr5Li0qyjm9qaV7v-YAYcyPFaxNI9mdyCKzRMzbGzevceTI2XROeV5qkyOnR6fGNYSw2_usbDKJtnUGm3fVTpd5t14KrRUCdJ8ullnrRDT6ip6FMu3JvnPa7vxRS63yUfkp1AkjsBcd8iGrz-TT111DhqN9RcyjvDRPny0Dx_t4KMAH13BRyN8X8nvk-PLoymLBTPYDVfihYlCOpN6r2HduZQHCWbCisRy7lDGv7JFZixE9EEkMlie-KCtN-DQpS5ob7zYJaN6VvtvhCrhNQ_OlcoEKaR2LpPBVKoqNKx6yfcI6-5B3nzWj_8Sl-3Fz_M1eL6_s_8--bB6Mg_ICFaHPyRb5Z-Xu_nzjwbSV-NFXZg |
| 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=Optimal+Time-Bounded+Reachability+Analysis+for+Concurrent+Systems&rft.date=2019-01-01&rft.pub=Springer+International+Publishing+AG&rft.isbn=9783030174644&rft.volume=11428&rft_id=info:doi/10.1007%2F978-3-030-17465-1_11&rft.externalDBID=208&rft.externalDocID=EBC5919232_158_208 |
| thumbnail_s | http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F5919232-l.jpg |