Other Publications: Qualitative Modelling of Biological Signalling Pathways using SAT-solving in Prolog

[knorr13bachelorarbeit]

Jan-Martin Knorr, Qualitative Modelling of Biological Signalling Pathways using SAT-solving in Prolog, October 2013.

Download

BibTeX

@misc{knorr13bachelorarbeit,
  title = {Qualitative Modelling of Biological Signalling Pathways using SAT-solving in Prolog},
  year = {2013},
  month = oct,
  author = {Jan-Martin Knorr},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
}

Authors at the institute

Former Students
Jan-Martin Knorr

Bachelor and Masters theses

Qualitative Modelling of Biological Signalling Pathways using SAT-solving in Prolog