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

BACH Team

 

Thank you vey much for trying our production!

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

Email:

Xuandong Li:

lxd@nju.edu.cn

Lei Bu:

bulei@nju.edu.cn

Dingbao Xie:

xdb@seg.nju.edu.cn

Yang yang:

yangyang@seg.nju.edu.cn

 

©2009 SEG CS NJU IntroductionDownloadCaseStudiesSnapShots