Mending fences with self-invalidation and self-downgrade

  1. Abdulla, P.A.
  2. Atig, M.F.
  3. Kaxiras, S.
  4. Leonardsson, C.
  5. Ros, A.
  6. Zhu, Y.
Aldizkaria:
Logical Methods in Computer Science

ISSN: 1860-5974

Argitalpen urtea: 2018

Alea: 14

Zenbakia: 1

Mota: Artikulua

DOI: 10.23638/LMCS-14(1:6)2018 GOOGLE SCHOLAR
Datuen iturria: Scopus