BACH: Bounded reAchablity CHecker
Introduction Download Case Studies SnapShots BACH Team Competition

BACH Team

 

Thank you vey much for trying our production!

If you have any question or find some errors please contact us.

Email:

Lei Bu:

bulei@nju.edu.cn

Jiawan Wang:

wangjw@smail.nju.edu.cn

Yuhui Shi:

181240050@smail.nju.edu.cn

Wenxia Liu:

mf21330055@smail.nju.edu.cn

Xuandong Li:

lxd@nju.edu.cn

 

©2009 SEG CS NJU IntroductionDownloadCaseStudiesSnapShotsCompetition