Covering Steps Graphs of Time Petri Nets

From MaRDI portal
Publication:5179058