@misc{Konnov2006:INTAS, author = {Igor V. Konnov}, title = {On Verification of Parameterized Distributed Systems}, howpublished = {Talk at the INTAS 05-1000008-8144 meeting, Timisoara, December 2006}, year = {2006}, URL = {http://www.risc.jku.at/projects/intas/Timisoara/} }