Pattern matching in link streams: timed-automata with finite memory

From MaRDI portal
Publication:4621222