Ghamarian, AmirHossein, Arash Jalali, and Arend Rensink. 2011. “Incremental Pattern Matching in Graph-Based State Space Exploration”.
Electronic Communications of the EASST
32 (April). https://doi.org/10.14279/tuj.eceasst.32.520.