\bib{2006/gupta-book}
\yr 2006
\by Neelam Gupta (conference chair)
\by Andy Podgurski (conference chair)
\isbn 1--59593--400--6
\book Proceedings of the 2006 international workshop on dynamic systems analysis, Shanghai, China, May 23--23
\publ Association for Computing Machinery
\publaddr New York
\endref
