Detail výsledku

Correction to: An integrated specification and verification technique for highly concurrent data structures

HOLÍK, L.; ABDULLA, P.; HAZIZA, F.; JONSSON, B.; REZINE, A. Correction to: An integrated specification and verification technique for highly concurrent data structures. 2026.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D., UITS (FIT)
Abdulla Parosh
Haziza Frédéric
Jonsson Bengt
Rezine Ahmed, Assoc. Prof.
URL
Rok
2026
Strany
825
Kniha
Int. J. Softw. Tools Technol. Transf.
BibTeX 
@article{BUT193159,
  author="Lukáš {Holík} and Parosh {Abdulla} and Frédéric {Haziza} and Bengt {Jonsson} and Ahmed {Rezine}",
  title="Correction to: An integrated specification and verification technique for highly concurrent data structures",
  year="2026",
  pages="825",
  url="https://doi.org/10.1007/s10009-021-00629-9"
}
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru