Meiers, Sascha Max Planck Society;
Meiers, S. (2011). Graph Traversal versus Model Checking in Deciding Compatibility of Time Series with Logical Networks. Bachelor Thesis, Freie Universität Berlin, Berlin.