Learn More
Lösung des jeweiligen Model-Checking Problems " nur " noch die Teilergeb-nisse zusammengesetzt werden. Auf diese Weise lösen wir die vier angespro-chenen Model-Checking Probleme für die Logik der(More)