@inproceedings(SurveyRMC,
 author       = {Parosh Aziz Abdulla and Bengt Jonsson and Marcus Nilsson and Mayank Saksena},
 year         = {2004},
 title        = {A Survey of Regular Model Checking},
 editor       = {Philippa Gardner and Nobuko Yoshida},
 booktitle    = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {3170},
 publisher    = {Springer},
 pages        = {35--48},
 doi          = {10.1007/978-3-540-28644-8\_3},
)
@inproceedings(BaldanCK/01/StaticAnalysisTechniqueForGTS,
 author       = {Paolo Baldan and Andrea Corradini and Barbara K{\"o}nig},
 year         = {2001},
 title        = {A Static Analysis Technique for Graph Transformation Systems},
 booktitle    = {Proc. CONCUR'01},
 series       = {LNCS},
 volume       = {2154},
 publisher    = {Springer},
 pages        = {381--395},
 doi          = {10.1007/3-540-44685-0\_26},
)
@inproceedings(BaldanCKL/06/TemporalGraphLogic,
 author       = {Paolo Baldan and Andrea Corradini and Barbara K{\"o}nig and Lluch-Lafuente, Alberto},
 year         = {2006},
 title        = {A Temporal Graph Logic for Verification of Graph Transformation Systems},
 booktitle    = {WADT},
 series       = {LNCS},
 volume       = {4409},
 publisher    = {Springer},
 pages        = {1--20},
 doi          = {10.1007/978-3-540-71998-4\_1},
)
@inproceedings(BertrandDKSS/12/OnTheDecidabilityStatusOfReachabilityAndCoverabilityInGTS,
 author       = {Nathalie Bertrand and Giorgio Delzanno and Barbara K{\"o}nig and Arnaud Sangnier and Jan St{\"u}ckrath},
 year         = {2012},
 title        = {On the Decidability Status of Reachability and Coverability in Graph Transformation Systems},
 booktitle    = {RTA},
 series       = {LIPIcs},
 volume       = {15},
 doi          = {10.4230/LIPIcs.RTA.2012.101},
)
@book(CourcelleE/12/GraphStructureAndMSO,
 author       = {Bruno Courcelle and Joost Engelfriet},
 year         = {2012},
 title        = {Graph Structure and Monadic Second-Order Logic - A Language-Theoretic Approach},
 volume       = {138},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511977619},
)
@inproceedings(DrewesKH/97/HyperedgeReplacementGraphGrammars,
 author       = {Frank Drewes and Hans-J{\"o}rg Kreowski and Annegret Habel},
 year         = {1997},
 title        = {Hyperedge Replacement Graph Grammars},
 booktitle    = {Handbook of Graph Grammars},
 publisher    = {World Scientific},
 pages        = {95--162},
)
@incollection(EngelfrietR/97/NodeReplacementGraphGrammars,
 author       = {J. Engelfriet and G. Rozenberg},
 year         = {1997},
 editor       = {Grzegorz Rozenberg},
 booktitle    = {Handbook of Graph Grammars and Computing by Graph Transformation},
 chapter      = {Node Replacement Graph Grammars},
 publisher    = {World Scientific Publishing Co., Inc.},
 pages        = {1--94},
 doi          = {10.1142/9789812384720\_0001},
)
@inproceedings(EsparzaGantyMajumdarLICS2012,
 author       = {J. Esparza and P. Ganty and R. Majumdar},
 year         = {2012},
 title        = {A Perfect Model for Bounded Verification},
 booktitle    = {{LICS} 2012},
 publisher    = {{IEEE} Computer Society},
 pages        = {285--294},
 doi          = {10.1109/LICS.2012.39},
)
@article(EsparzaGanty,
 author       = {J. Esparza and P. Ganty and T. Poch},
 year         = {2014},
 title        = {Pattern-Based Verification for Multithreaded Programs},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {36},
 number       = {3},
 pages        = {9:1--9:29},
 doi          = {10.1145/2629644},
)
@article(GurariI81,
 author       = {E.M. Gurari and O.H. Ibarra},
 year         = {1981},
 title        = {The Complexity of Decision Problems for Finite-Turn Multicounter Machines},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {22},
 number       = {2},
 pages        = {220--229},
 doi          = {10.1016/0022-0000(81)90028-3},
)
@article(GurariIbarra,
 author       = {E.M. Gurari and O.H. Ibarra},
 year         = {1982},
 title        = {Two-Way Counter Machines and {D}iophantine Equations},
 journal      = {J. {ACM}},
 volume       = {29},
 number       = {3},
 pages        = {863--873},
 doi          = {10.1109/SFCS.1981.52},
)
@book(HopcroftUllman,
 author       = {John E. Hopcroft and Jeffrey D. Ullman},
 year         = {2000},
 title        = {Introduction to Automata Theory, Languages and Computation, Second Edition},
 publisher    = {Addison-Wesley},
)
@article(Ibarra/78/ReversalBoundedMulticounterMachines,
 author       = {Oscar H. Ibarra},
 year         = {1978},
 title        = {Reversal-Bounded Multicounter Machines and Their Decision Problems},
 journal      = {J. ACM},
 volume       = {25},
 number       = {1},
 pages        = {116--133},
 doi          = {10.1145/322047.322058},
)
@inproceedings(Ibarra/14/AutomataWithReversalBoundedCounters,
 author       = {Oscar H. Ibarra},
 year         = {2014},
 title        = {Automata with Reversal-Bounded Counters: {A} Survey},
 booktitle    = {{DCFS} 2014},
 publisher    = {Springer},
 pages        = {5--22},
 doi          = {10.1007/978-3-319-09704-6\_2},
)
@inproceedings(KonigK/06/CEGARGTS,
 author       = {Barbara K{\"o}nig and Vitali Kozioura},
 year         = {2006},
 title        = {Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems},
 booktitle    = {TACAS},
 series       = {LNCS},
 volume       = {3920},
 publisher    = {Springer},
 pages        = {197--211},
 doi          = {10.1007/11691372\_13},
)
@inproceedings(MadhusudanP11/auxiliarystorage,
 author       = {P. Madhusudan and Gennaro Parlato},
 year         = {2011},
 title        = {The tree width of auxiliary storage},
 editor       = {Thomas Ball and Mooly Sagiv},
 booktitle    = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28, 2011},
 publisher    = {{ACM}},
 pages        = {283--294},
 doi          = {10.1145/1926385.1926419},
)
@article(RabinS/59/FiniteAutomataAndTheirDecisionProblems,
 author       = {M. O. Rabin and D. Scott},
 year         = {1959},
 title        = {Finite Automata and Their Decision Problems},
 journal      = {IBM Journal of Research and Development},
 volume       = {3},
 number       = {2},
 pages        = {114--125},
 doi          = {10.1147/rd.32.0114},
)
@inproceedings(Rensink/08/ModelCheckingGraphGrammars,
 author       = {Arend Rensink},
 year         = {2008},
 title        = {Explicit State Model Checking for Graph Grammars},
 booktitle    = {Concurrency, Graphs and Models},
 series       = {LNCS},
 volume       = {5065},
 publisher    = {Springer},
 pages        = {114--132},
 doi          = {10.1007/978-3-540-68679-8\_8},
)
@inproceedings(Rosenberg/65/OnMultiHeadFiniteAutomata,
 author       = {Arnold L. Rosenberg},
 year         = {1965},
 title        = {On multi-head finite automata},
 booktitle    = {6th Annual Symposium on Switching Circuit Theory and Logical Design},
 publisher    = {{IEEE} Computer Society},
 pages        = {221--228},
 doi          = {10.1109/FOCS.1965.19},
)
@inproceedings(Vardi,
 author       = {M.Y. Vardi},
 year         = {2014},
 title        = {From L{\"{o}}wenheim to {PSL} and {SVA}},
 booktitle    = {Language, Culture, Computation. Computing - Theory and Technology - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part {I}},
 series       = {Lecture Notes in Computer Science},
 volume       = {8001},
 publisher    = {Springer},
 pages        = {78--102},
 doi          = {10.1007/978-3-642-45321-2\_5},
)