@article {Rusu:2004:1571-0661:1,
	author = "Rusu V. and Zinovieva E.",
	title = "Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols",
	journal = "Electronic Notes in Theoretical Computer Science",
	volume = "50",
	number = "4",
	year = "2004",
	pages = "1-15",
	url = "http://www.ingentaconnect.com/content/els/15710661/2004/00000050/00000004/art00186",
	doi = "doi:10.1016/S1571-0661(04)00186-0	"
}

@article {Touili:2004:1571-0661:1,
	author = "Touili T.",
	title = "Regular Model Checking using Widening Techniques",
	journal = "Electronic Notes in Theoretical Computer Science",
	volume = "50",
	number = "4",
	year = "2004",
	pages = "1-15",
	url = "http://www.ingentaconnect.com/content/els/15710661/2004/00000050/00000004/art00187",
	doi = "doi:10.1016/S1571-0661(04)00187-2	"
}

@article {Kyas:2004:1571-0661:1,
	author = "Kyas M.",
	title = "Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol",
	journal = "Electronic Notes in Theoretical Computer Science",
	volume = "50",
	number = "4",
	year = "2004",
	pages = "1-14",
	url = "http://www.ingentaconnect.com/content/els/15710661/2004/00000050/00000004/art00188",
	doi = "doi:10.1016/S1571-0661(04)00188-4	"
}

@article {Delzanno:2004:1571-0661:1,
	author = "Delzanno G.",
	title = "An Assertional Language for the Verification of Systems Parametric in Several Dimensions - (Preliminary Results)",
	journal = "Electronic Notes in Theoretical Computer Science",
	volume = "50",
	number = "4",
	year = "2004",
	pages = "1-15",
	url = "http://www.ingentaconnect.com/content/els/15710661/2004/00000050/00000004/art00189",
	doi = "doi:10.1016/S1571-0661(04)00189-6	"
}

@article {Baukus:2004:1571-0661:1,
	author = "Baukus K. and Stahl K. and Bensalem S. and Lakhnech Y.",
	title = "Networks of Processes with Parameterized State Space",
	journal = "Electronic Notes in Theoretical Computer Science",
	volume = "50",
	number = "4",
	year = "2004",
	pages = "1-15",
	url = "http://www.ingentaconnect.com/content/els/15710661/2004/00000050/00000004/art00190",
	doi = "doi:10.1016/S1571-0661(04)00190-2	"
}