@inproceedings(wqts,
 author       = {Parosh~Aziz Abdulla and Karlis Cerans and Bengt Jonsson and Yih{-}Kuen Tsay},
 year         = {1996},
 title        = {General Decidability Theorems for Infinite-State Systems},
 booktitle    = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,},
 pages        = {313--321},
 doi          = {10.1109/LICS.1996.561359},
)
@inproceedings(time,
 author       = {Parosh~Aziz Abdulla and Giorgio Delzanno and Othmane Rezine and Arnaud Sangnier and Riccardo Traverso},
 year         = {2011},
 title        = {On the Verification of Timed Ad Hoc Networks},
 booktitle    = {Formal Modeling and Analysis of Timed Systems - 9th International Conference, {FORMATS}},
 pages        = {256--270},
 doi          = {10.1007/978-3-642-24310-3\_18},
)
@inproceedings(constraint,
 author       = {A.~R. Balasubramanian and Nathalie Bertrand and Nicolas Markey},
 year         = {2018},
 title        = {Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, {TACAS}},
 pages        = {38--54},
 doi          = {10.1007/978-3-319-89963-3\_3},
)
@inproceedings(probtime,
 author       = {Nathalie Bertrand and Paulin Fournier},
 year         = {2013},
 title        = {Parameterized Verification of Many Identical Probabilistic Timed Processes},
 booktitle    = {{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS}},
 pages        = {501--513},
 doi          = {10.4230/LIPIcs.FSTTCS.2013.501},
)
@inproceedings(prob,
 author       = {Nathalie Bertrand and Paulin Fournier and Arnaud Sangnier},
 year         = {2014},
 title        = {Playing with Probabilities in Reconfigurable Broadcast Networks},
 booktitle    = {Foundations of Software Science and Computation Structures - 17th International Conference, {FOSSACS}},
 pages        = {134--148},
 doi          = {10.1007/978-3-642-54830-7\_9},
)
@inproceedings(local,
 author       = {Nathalie Bertrand and Paulin Fournier and Arnaud Sangnier},
 year         = {2015},
 title        = {Distributed Local Strategies in Broadcast Networks},
 booktitle    = {26th International Conference on Concurrency Theory, {CONCUR}},
 pages        = {44--57},
 doi          = {10.4230/LIPIcs.CONCUR.2015.44},
)
@inproceedings(stochasticreg,
 author       = {Patricia Bouyer and Nicolas Markey and Mickael Randour and Arnaud Sangnier and Daniel Stan},
 year         = {2016},
 title        = {Reachability in Networks of Register Protocols under Stochastic Schedulers},
 booktitle    = {43rd International Colloquium on Automata, Languages, and Programming, {ICALP} 2016},
 pages        = {106:1--106:14},
 doi          = {10.4230/LIPIcs.ICALP.2016.106},
)
@inproceedings(register,
 author       = {Giorgio Delzanno and Arnaud Sangnier and Riccardo Traverso},
 year         = {2013},
 title        = {Parameterized Verification of Broadcast Networks of Register Automata},
 booktitle    = {Reachability Problems - 7th International Workshop, {RP}},
 pages        = {109--121},
 doi          = {10.1007/978-3-642-41036-9\_11},
)
@inproceedings(mobile,
 author       = {Giorgio Delzanno and Arnaud Sangnier and Riccardo Traverso and Gianluigi Zavattaro},
 year         = {2012},
 title        = {On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks},
 booktitle    = {{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS}},
 pages        = {289--300},
 doi          = {10.4230/LIPIcs.FSTTCS.2012.289},
)
@inproceedings(static,
 author       = {Giorgio Delzanno and Arnaud Sangnier and Gianluigi Zavattaro},
 year         = {2010},
 title        = {Parameterized Verification of Ad Hoc Networks},
 booktitle    = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,},
 pages        = {313--327},
 doi          = {10.1007/978-3-642-15375-4\_22},
)
@inproceedings(clique,
 author       = {Giorgio Delzanno and Arnaud Sangnier and Gianluigi Zavattaro},
 year         = {2011},
 title        = {On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks},
 booktitle    = {Foundations of Software Science and Computational Structures - 14th International Conference, {FOSSACS}},
 pages        = {441--455},
 doi          = {10.1007/978-3-642-19805-2\_30},
)
@inproceedings(errors,
 author       = {Giorgio Delzanno and Arnaud Sangnier and Gianluigi Zavattaro},
 year         = {2012},
 title        = {Verification of Ad Hoc Networks with Node and Communication Failures},
 booktitle    = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG} 6.1 International Conference, {FMOODS} and 32nd {IFIP} {WG} 6.1 International Conference, {FORTE}},
 pages        = {235--250},
 doi          = {10.1007/978-3-642-30793-5\_15},
)
@inproceedings(asynch,
 author       = {Giorgio Delzanno and Riccardo Traverso},
 year         = {2013},
 title        = {Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks},
 booktitle    = {Language and Automata Theory and Applications - 7th International Conference, {LATA} 2013},
 pages        = {238--249},
 doi          = {10.1007/978-3-642-37064-9\_22},
)
@article(Ding,
 author       = {Guoli Ding},
 year         = {1992},
 title        = {Subgraphs and well-quasi-ordering},
 journal      = {Journal of Graph Theory},
 volume       = {16},
 number       = {5},
 pages        = {489--502},
 doi          = {10.1002/jgt.3190160509},
)
@inproceedings(resetarcs,
 author       = {Catherine Dufourd and Alain Finkel and Philippe Schnoebelen},
 year         = {1998},
 title        = {Reset Nets Between Decidability and Undecidability},
 booktitle    = {Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark},
 pages        = {103--115},
 doi          = {10.1007/BFb0055044},
)
@inproceedings(crowd,
 author       = {Javier Esparza},
 year         = {2014},
 title        = {Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk)},
 booktitle    = {31st International Symposium on Theoretical Aspects of Computer Science {(STACS} 2014), {STACS}},
 pages        = {1--10},
 doi          = {10.4230/LIPIcs.STACS.2014.1},
)
@article(wsts,
 author       = {Alain Finkel and Philippe Schnoebelen},
 year         = {2001},
 title        = {Well-structured transition systems everywhere!},
 journal      = {Theor. Comput. Sci.},
 volume       = {256},
 number       = {1-2},
 pages        = {63--92},
 doi          = {10.1016/S0304-3975(00)00102-X},
)
@article(reason,
 author       = {Steven~M. German and A.~Prasad Sistla},
 year         = {1992},
 title        = {Reasoning about Systems with Many Processes},
 journal      = {J. {ACM}},
 volume       = {39},
 number       = {3},
 pages        = {675--735},
 doi          = {10.1145/146637.146681},
)
@article(Moore,
 author       = {Alan~J. Hoffman and Robert~R. Singleton},
 year         = {1960},
 title        = {On Moore Graphs with Diameters 2 and 3},
 journal      = {{IBM} Journal of Research and Development},
 volume       = {4},
 number       = {5},
 pages        = {497--504},
 doi          = {10.1147/rd.45.0497},
)