Simple and efficient bounded concurrent timestamping and the traceable use abstraction

From MaRDI portal
Publication:3158553