Fuhrer, R. M.R. M.FuhrerLin, BillBillLinNowick, S.S.Nowick2021-09-292021-09-291995https://imec-publications.be/handle/20.500.12860/651Symbolic hazard-free minimization and encoding of asynchronous finite state machinesProceedings paper