Authors: Nakata, T Kowatari, S Iwashita, H Takayama, K

Citation: T. Nakata et al., Techniques for effectively applying model checking to design projects, FUJITSU SCI, 36(1), 2000, pp. 9-16