TIS news ePMC is publicly available R. Wimmer gives a course on Symbolic Verification, K. Wimmer a talk on DQBF M. Stoelinga gives a course on Fault Trees <<123