Wang, Farn..Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings /.Springer,,c2004..
Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings /
IFAC Workshop on Skill Based Automated Manufacturing.IFAC Workshop on Skill Based Automated Manufacturing (1986 : Karlsruhe):Skill based automated manufacturing.Pergamon,1986.
IFAC Workshop on Skill Based Automated Manufacturing.IFAC Workshop on Skill Based Automated Manufacturing (1986 : Karlsruhe):Skill based automated manufacturing.Pergamon,1986.