\relax 
\@writefile{toc}{\contentsline {title}{ Specker Derivative Game Requirements \& Design\unskip \ \ignorespaces  Generic to CNF/CSP Versions}{1}}
\@writefile{toc}{\authcount {1}}
\@writefile{toc}{\contentsline {author}{ Karl Lieberherr, Feng Zhou}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Generic Requirements}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Parameterization}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Game Rules}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Archiving Concern}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.4}Security Concern}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Specialization}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}For CNF}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}For CSP}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Reflection on the course}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Design}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Implementation}{3}}