Zhou, Z.Z.ZhouSong, X.X.SongCorella, F.F.CorellaCerny, E.E.CernyLangevin, M.M.Langevin2022-03-092022-03-091995https://publica.fraunhofer.de/handle/publica/32563910.1109/GLSV.1995.516034en005006629Partitioning transition relations efficiently and automaticallyconference paper