@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} }