Oliver FRIEDMANN | Doctor of Engineering | Ludwig-Maximilians-University of Munich, Munich | LMU | Institut für Informatik
Oliver FRIEDMANN | Doctor of Engineering | Ludwig-Maximilians-University of Munich, Munich | LMU | Institut für Informatik
Science | Oliver Friedmann
A Solver for Modal Fixpoint Logics – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub.