A monitor generation method for formal monitor-based verification considering input constraints (pages 19–26)Yosuke Kakiuchi, Akira Kitajima, Kiyoharu Hamaguchi and Toshinobu Kashiwabara
Article first published online: 21 JUN 2007 | DOI: 10.1002/ecjc.20360