Aktuelles: A New Approach for Showing Termination of Parameterized Transition Systems

Das Paper “A New Approach for Showing Termination of Parameterized Transition Systems” von Roland Herrmann und Philipp Rümmer wurde bei CIAA 2025 angenommen. Die Konferenz findet vom 22. bis 25. September in Palermo, Italien statt.