A Counting Logic for Structure Transition Systems

Dagstuhl, Germany / Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik (2012) [Beitrag zu einem Tagungsband]

Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Kaiser, Lukasz
Lessenich, Simon