Revisiting Semantics of Interactions for Trace Validity Analysis
Saved in:
Published in | Fundamental Approaches to Software Engineering Vol. 12076 |
---|---|
Format | Book Chapter |
Language | English |
Published |
Switzerland
Springer International Publishing AG
01.01.2020
|
Online Access | Get full text |
ISBN | 3030452336 9783030452339 |
DOI | 10.1007/978-3-030-45234-6_24 |
Cover
BookMark | eNqNkMtOwzAQRY14CFr6ByzyA4Gxx_FjR4V4VKqEBIVt5CQONQS7xAapf4_Fa81qdI90rmZmQvZ88JaQEwqnFECeaalKLAGh5BVDXoqa8R0yyxgz_GJil0x-A4oDMqFUAkWOoA_JLMZnAGBM69x3RM7v7IeLLjn_VNzbV-OTa2MR-mLhkx1Nm1zwsejDWKxyssWjGVzn0raYezNso4vHZL83Q7SznzklD1eXq4ubcnl7vbiYL8s1KppKwSuLDXS2U1YzxVsEiY0yTFFFdcMqCpoJ2vUMNXSdNdBwxqVSUjRcco1Twr97N2N4e7cx1bYJ4aW1Po1maNdmk_eNteAM8r01Sl1nK2vVfzSkMj-IV3_eJ5hJaQE |
---|---|
ContentType | Book Chapter |
DBID | FFUUA |
DOI | 10.1007/978-3-030-45234-6_24 |
DatabaseName | ProQuest Ebook Central - Book Chapters - Demo use only |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Computer Science |
EISBN | 9783030452346 3030452344 |
Editor | Cabot, Jordi Wehrheim, Heike |
Editor_xml | – sequence: 1 fullname: Wehrheim, Heike – sequence: 2 fullname: Cabot, Jordi |
ExternalDocumentID | EBC6420117_379_493 EBC31734345_379_493 |
GroupedDBID | 38. A7I AABBV AAKKN AALJR AAQKC ABEEZ ACGCR ADOGT AEDXK AEJLV AEJNW AEKFX AGWHU AIQUZ ALMA_UNASSIGNED_HOLDINGS ALNDD APEJL AVCSZ AZTDL BBABE CYNQG CZZ DACMV EIXGO ESBCR FFUUA I4C IEZ OAOFD OPOMJ SBO TPJZQ TSXQS V1H Z5O Z7R Z7S Z7U Z7W Z7X Z7Y Z7Z Z81 Z83 Z84 Z85 Z87 Z88 |
ID | FETCH-LOGICAL-h381t-645e3b0ded8e9284c3073b8a281819b25109261df2390ddea0b42478876b47493 |
ISBN | 3030452336 9783030452339 |
IngestDate | Thu May 29 00:54:05 EDT 2025 Thu May 29 17:54:13 EDT 2025 |
IsDoiOpenAccess | false |
IsOpenAccess | true |
IsPeerReviewed | true |
IsScholarly | true |
LCCallNum | QA76.758 |
Language | English |
LinkModel | OpenURL |
MergedId | FETCHMERGED-LOGICAL-h381t-645e3b0ded8e9284c3073b8a281819b25109261df2390ddea0b42478876b47493 |
OCLC | 1170134309 |
OpenAccessLink | https://link.springer.com/content/pdf/10.1007%2F978-3-030-45234-6_24.pdf |
PQID | EBC31734345_379_493 |
ParticipantIDs | proquest_ebookcentralchapters_6420117_379_493 proquest_ebookcentralchapters_31734345_379_493 |
PublicationCentury | 2000 |
PublicationDate | 2020-01-01 |
PublicationDateYYYYMMDD | 2020-01-01 |
PublicationDate_xml | – month: 01 year: 2020 text: 2020-01-01 day: 01 |
PublicationDecade | 2020 |
PublicationPlace | Switzerland |
PublicationPlace_xml | – name: Switzerland |
PublicationSubtitle | 23rd International Conference, FASE 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings |
PublicationTitle | Fundamental Approaches to Software Engineering |
PublicationYear | 2020 |
Publisher | Springer International Publishing AG |
Publisher_xml | – name: Springer International Publishing AG |
SSID | ssj0002299100 |
Score | 2.244126 |
SourceID | proquest |
SourceType | Publisher |
Title | Revisiting Semantics of Interactions for Trace Validity Analysis |
URI | http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=31734345&ppg=493 http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=6420117&ppg=493 |
Volume | 12076 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3PS8MwGA26k3jwN_4mB6-RtEna5uYc0yHowU3xVpo0w4sTdCL41_t9Sbt1nQh6KaM0bZaXJi9f895HyFla2rGwkWJcp5ZJmIJYoY1mSemEVi61ymctub1LBg_y5kk9zfPoeXXJ1Jzbrx91Jf9BFc4BrqiS_QOys5vCCfgN-MIREIZji_wuhllD3iHUcFTW_N3KGTz4NQxhaP3EHV0Ns8Fm17j3inK_33noXqBp0am5kpS8BaGDd2lA53N47R-BqpdI1msDk2akIOatSEEdKWzFGhvhru71wupS-M-osQhuQ7PhMuYhY8vS4NvcbwFFGZaVLMmDSHrR61qGvIgtr-v-ZQ_4jJBCqlykOoerVslqmmFShMdoMAuexTCJwuNQq1PXMQluSvM6N3SSP1Vpae71hGK0SdZRZEJR_QE12yIrbrJNNuoUG7QacXfIxRwrOsOKvo5pEysKWFGPFa2xojVWu-Thqj_qDViV9II9A3maskQqJwwvXZk5DdzB4iBssgJduyJtgI5yDavechwLzWFuKriRMeZASBMjU2iwPdKZvE7cPqEWuLXAqIMyShaWF2ocZQkvMas8z0x0QM7rJsj9p_lqP7AN__09b2NxQNjvBWAxix6D9fWHf33AEVmbd9xj0pm-fbgTIH1Tc-o7wDfr_VLK |
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=Fundamental+Approaches+to+Software+Engineering&rft.atitle=Revisiting+Semantics+of+Interactions+for+Trace+Validity+Analysis&rft.date=2020-01-01&rft.pub=Springer+International+Publishing+AG&rft.isbn=9783030452339&rft.volume=12076&rft_id=info:doi/10.1007%2F978-3-030-45234-6_24&rft.externalDBID=493&rft.externalDocID=EBC31734345_379_493 |
thumbnail_s | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F31734345-l.jpg http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F6420117-l.jpg |