Corrigendum to “Runtime monitoring of 5G network slicing using STAn” [Journal of Logical and Algebraic Methods in Programming, 145 (2025) 101059]

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 146; p. 101062
Main Authors Panizo, Laura, Gallardo, María-del-Mar, Luque-Schempp, Francisco, Merino, Pedro
Format Journal Article
LanguageEnglish
Published Elsevier Inc 01.07.2025
Online AccessGet full text
ISSN2352-2208
DOI10.1016/j.jlamp.2025.101062

Cover

ArticleNumber 101062
Author Gallardo, María-del-Mar
Merino, Pedro
Panizo, Laura
Luque-Schempp, Francisco
Author_xml – sequence: 1
  givenname: Laura
  surname: Panizo
  fullname: Panizo, Laura
  email: laurapanizo@uma.es
– sequence: 2
  givenname: María-del-Mar
  surname: Gallardo
  fullname: Gallardo, María-del-Mar
– sequence: 3
  givenname: Francisco
  surname: Luque-Schempp
  fullname: Luque-Schempp, Francisco
– sequence: 4
  givenname: Pedro
  surname: Merino
  fullname: Merino, Pedro
BookMark eNp9kL1OwzAUhT0UiVL6BCweQSLFP0maDAxVBQVUBIJuCFmOYweHxK7sBMTWl2CDl-uTkFBmlnuvjs65-nQOwMBYIwE4wmiCEY7PyklZ8Xo9IYhEvYJiMgBDQiMSEIKSfTD2vkSosybThOIh-Jxb53QhTd7WsLFwu_l6aE2jawlra3RjnTYFtApGC2hk827dK_SVFr3a-n4-rmZmu_mGTze2dYZXvXlpCy26k5sczqpCZo5rAW9l82JzD7WB984Wjtd19-AU4jCCxz3xCeyRo_T5EOwpXnk5_tsjsLq8WM2vguXd4no-WwYiTUgQZ4QSSTIaccFlIgVHIo4Ux7QTlaBpOhVECZyEaZYSpNI0xmGehJSoiKgspiNAd2-Fs947qdja6Zq7D4YR6_tkJfvtk_V0bNdnlzrfpWRH9qalY15oaYTMtZOiYbnV_-Z_ALZCg-Y
ContentType Journal Article
Copyright 2025 The Authors
Copyright_xml – notice: 2025 The Authors
DBID AAYXX
CITATION
DOI 10.1016/j.jlamp.2025.101062
DatabaseName CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
ExternalDocumentID 10_1016_j_jlamp_2025_101062
S2352220825000288
GroupedDBID --M
0R~
4.4
457
4G.
7-5
8P~
AAEDT
AAEDW
AAIKJ
AAKOC
AALRI
AAOAW
AATTM
AAXKI
AAXUO
AAYFN
AAYWO
ABBOA
ABJNI
ABMAC
ABXDB
ACDAQ
ACGFS
ACRLP
ACVFH
ADBBV
ADCNI
ADEZE
ADVLN
AEBSH
AEIPS
AEKER
AENEX
AEUPX
AFJKZ
AFPUW
AFTJW
AGCQF
AGHFR
AGUBO
AIALX
AIEXJ
AIGII
AIIUN
AIKHN
AITUG
AKBMS
AKRWK
AKYEP
ALMA_UNASSIGNED_HOLDINGS
AMRAJ
ANKPU
AOUOD
AXJTR
BKOJK
BLXMC
EBS
EFJIC
EFKBS
EJD
FDB
FIRID
FYGXN
GBLVA
GBOLZ
HZ~
KOM
M41
O9-
OAUVE
RIG
ROL
SPC
SPCBC
SSV
SSZ
T5K
~G-
AAYXX
AFXIZ
AGRNS
BNPGV
CITATION
SSH
ID FETCH-LOGICAL-c982-6b232e2b35acae8eca0c65fa13e2bfc3997c2fc1849b920f99614d8432f52fb63
IEDL.DBID AIKHN
ISSN 2352-2208
IngestDate Wed Jul 16 16:47:54 EDT 2025
Sat Aug 16 17:03:29 EDT 2025
IsPeerReviewed true
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c982-6b232e2b35acae8eca0c65fa13e2bfc3997c2fc1849b920f99614d8432f52fb63
Notes erratum
ParticipantIDs crossref_primary_10_1016_j_jlamp_2025_101062
elsevier_sciencedirect_doi_10_1016_j_jlamp_2025_101062
PublicationCentury 2000
PublicationDate July 2025
2025-07-00
PublicationDateYYYYMMDD 2025-07-01
PublicationDate_xml – month: 07
  year: 2025
  text: July 2025
PublicationDecade 2020
PublicationTitle Journal of logical and algebraic methods in programming
PublicationYear 2025
Publisher Elsevier Inc
Publisher_xml – name: Elsevier Inc
SSID ssj0001687831
Score 2.3101118
SecondaryResourceType publication_corrigendum
SourceID crossref
elsevier
SourceType Index Database
Publisher
StartPage 101062
Title Corrigendum to “Runtime monitoring of 5G network slicing using STAn” [Journal of Logical and Algebraic Methods in Programming, 145 (2025) 101059]
URI https://dx.doi.org/10.1016/j.jlamp.2025.101062
Volume 146
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8QwEA4-Ll58i2_m4EHBst00SdvjsqjrE9EVBJGSpomsuF1Z17t_wpv-OX-JM32ggnjw2KHT5jn5Jvkyw9iWyJQ26Gp4ODiEJ6wUnvbDzJPKZllkubWO7g6fnqnOlTi6ltdjrF3fhSFaZWX7S5teWOtK0qhas_HY6zUuOWEHTi5OsUcUjbNJHsQKPbDJ1uFx5-xrq0VFYVRkJiQVj3Tq-EMF0-se255CV3JJEl_x39eob-vO_iybrgAjtMoyzbExm8-zmToZA1Rzc4G9tgfDIYXWzJ77MBrAx8vbBaWB6FvoF_OWNvBg4EAeQF5yvwExpiEpkd_v4LLbyj9e3uGm_ie-fFJaRtB5Bq2HOzpl7hk4LdJOP0Evh_OS39XHD-xCU0jYphruAFVRxreLrLu_1213vCrngmdixNoqRYRleRpIbbSNrNG-UdLpZoBCZxDNhIY7g25hnMbcd-gtNUUWiYA7yV2qgiU2kQ9yu8wAjYdFLGhlKlPhR3EUaq1DxFsu0KlvwxW2Wzdy8lhG1khqytl9UvRJQiVOyj5ZYaruiOTHAEnQ9v-luPpfxTU2RU8lN3edTYyGz3YDEcgo3axG2CcjYdmu
linkProvider Elsevier
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT9tAEF5BOMCFR6HiUdo5cCgSVpz17to-RhE0QBJVJZWQKmSt17tREHGiEO78CW70z_FLmPFDtFLVA9exx_buzs5-s_52hrEjkSltMNTw0DiEJ6wUnvbDzJPKZllkubWOzg73B6r7U1xcy-sl1qnPwhCtsvL9pU8vvHUlaVa92ZyNx80rTtiBU4hT7BFFy2yFslOhsa-0zy-7g7etFhWFUVGZkFQ80qnzDxVMr1vse0pdySVJfMX_vUb9se6cbbL1CjBCu_ymLbZk8w9soy7GANXc3GZPnel8Tqk1s4cJLKbw8vj8g8pATCxMinlLG3gwdSC_QV5yvwExpiEpkd9HcDVs5y-Pv-FX_U68uVd6RtB5Bu27Ef1lHhvoF2Wn72Gcw_eS3zXBB5xAS0j4Si08BmqijG922PDsdNjpelXNBc_EiLVVigjL8jSQ2mgbWaN9o6TTrQCFziCaCQ13BsPCOI257zBaaoksEgF3krtUBR9ZI5_mdpcBOg-LWNDKVKbCj-Io1FqHiLdcoFPfhnvspO7kZFZm1khqytltUoxJQl-clGOyx1Q9EMlfBpKg7_-f4v57Fb-w1e6w30t654PLA7ZGV0qe7ifWWMwf7CGikUX6ubK2V24W3JQ
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=Corrigendum+to+%E2%80%9CRuntime+monitoring+of+5G+network+slicing+using+STAn%E2%80%9D+%5BJournal+of+Logical+and+Algebraic+Methods+in+Programming%2C+145+%282025%29+101059%5D&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Panizo%2C+Laura&rft.au=Gallardo%2C+Mar%C3%ADa-del-Mar&rft.au=Luque-Schempp%2C+Francisco&rft.au=Merino%2C+Pedro&rft.date=2025-07-01&rft.pub=Elsevier+Inc&rft.issn=2352-2208&rft.volume=146&rft_id=info:doi/10.1016%2Fj.jlamp.2025.101062&rft.externalDocID=S2352220825000288
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon