Detecting Useless Transitions in Pushdown Automata. - Wan J. Fokkink; Dick Grune; Brinio Hond; Peter Rutgers (CoRR, 2013)

Security Testing of GSM Implementations. - Fabian van den Broek; Brinio Hond; Arturo Cedillo Torres (ESSoS, 2014)

Detecting useless transitions in pushdown automata. - Evangelos Chatzikalymnios; Wan J. Fokkink; Dick Grune; Brinio Hond; Peter Rutgers (Inf. Comput., 2021)