Global Trace Condition for Injective Transition Graphs

Stefano Berardi, Ugo de'Liguoro, Daniel Osorio-Valencia

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать. Препринт может ещё не пройти рецензирование; проверьте, появилась ли журнальная версия.