Gp4 Mod 1986 32
Gp4 Mod 1986 32
by S La Torre  Cited by 6 â Hierarchical and recursive state machines are suitable abstract mod- els for many ... model for the digital clock has at least 24  60  60 = 86, 400 vertices, while the above ... grams. Journal of Computer and System Sciences, 32:182 â 211, 1986.