[1]
B
Daniel Große. Formale Verifikation von SystemC-Beschreibungen. Diploma thesis, Albert-Ludwigs-Universität, Freiburg, Germany, August 2002.