Preface (2019)
Attributed to:
Verifiably Correct Transactional Memory
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85076110596
Type: Other
Volume: 11758 LNCS
Parent Publication: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN: 16113349 03029743