doc-src/isac/CTP-userinterfaces.tex
branchdecompose-isar
changeset 38079 431344850e40
parent 38077 6f173c4caf79
child 38088 5d792dd2f947
child 38089 042b19985ea0
equal deleted inserted replaced
38078:9638bb747200 38079:431344850e40
   157 
   157 
   158 
   158 
   159 \section{Conclusion and future work}
   159 \section{Conclusion and future work}
   160 
   160 
   161 
   161 
   162 \bibliography{bib/math-eng,bib/bk,bib/RISC_2,bib/isac,bib/pl,bib/math,bib/pl}
   162 \bibliography{CTP-userinterfaces}
       
   163 %\bibliography{bib/math-eng,bib/bk,bib/RISC_2,bib/isac,bib/pl,bib/math,bib/pl}
   163 \end{document}
   164 \end{document}