Classifying invariant structures of step traces

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski. Classifying invariant structures of step traces. J. Comput. Syst. Sci., 104:297-322, 2019. [doi]

Abstract

Abstract is missing.