TitlePartial Derivative and Position Bisimilarity Automata Publication TypeMiscellaneous AuthorsMaia E, Moreira N, Reis R Secondary AuthorsHolzer M, Kutrib M [2014-6]
