On Yen’s Path Logic for Petri Nets (Q3646251)

From MaRDI portal