Concurrency and hardware design. Advances in Petri nets

From MaRDI portal
Publication:1868003