Siamak Nazari, John Thistle. Structural Conditions for Model-checking of Parameterized Networks. In Twan Basten, Gabriel Juhás, Sandeep K. Shukla, editors, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic. pages 187-196, IEEE Computer Society, 2007. [doi]
Abstract is missing.