Synthesis of (choice-free) reset nets

From MaRDI portal
Publication:2117175