2 citations · 2 across the 1 of their papers we have counts for
1 paper
Johannes Wollbold
This thesis aims at the logical analysis of discrete processes, in particular of such generated by gene regulatory networks. States, transitions and operators from temporal logics…