Stem calif$ (all stems)
1 papers:
LDTA-2004-Tavernier #automaton #named #tool support #user interface #visual notation- Calife: A Generic Graphical User Interface for Automata Tools (BT), pp. 169–172.
LDTA-2004-Tavernier #automaton #named #tool support #user interface #visual notation