Recognition of concurrency relations between inaccurate lines

From MaRDI portal
Publication:2855784