@book{2006-gupta-book
,title={{Proceedings of the 2006 international workshop on dynamic systems analysis, Shanghai, China, May 23--23}}
,booktitle={{Proceedings of the 2006 international workshop on dynamic systems analysis, Shanghai, China, May 23--23}}
,author={Neelam Gupta (conference chair) and Andy Podgurski (conference chair)}
,ISBN={1--59593--400--6}
,publisher={Association for Computing Machinery}
,address={New York}
,year={2006}
}