Marked directed graphs (1971)

by F Commoner, A W Holt, S Even, A Pnueli
Venue:CHM83] [CHP71] [CL85] K. Mani Chandy, Laura