Describing Average- and Longtime-Behavior by Weighted MSO Logics.

Manfred Droste, Ingmar Meinecke

Browse the full MFCS paper archive.