Stem zeno$ (all stems)

3 papers:

TACAS-2012-SonnexDE #automation #data type #named #proving #recursion

Zeno: An Automated Prover for Properties of Recursive Data Structures (WS, SD, SE), pp. 407–421.

FASE-2008-AlrajehRU #behaviour #modelling #using

Deriving Non-zeno Behavior Models from Goal Models Using ILP (DA, AR, SU), pp. 1–15.

ICALP-v2-2006-BouyerHR #automaton #petri net #power of #sequence

Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences (PB, SH, PAR), pp. 420–431.