@inproceedings{AEJK24,
	author       = {Andr{\'e}, {\'E}tienne and Paul Eichler and Swen Jacobs and Karra, Shyam Lal},
	title        = {Parameterized Verification of Disjunctive Timed Networks},
	longbooktitle = {Proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation ({VMCAI} 2024)},
	booktitle    = {{VMCAI}},
	location     = {London, England},
	eventdate    = {2024-01-15/2024-01-16},
	volume       = {14499},
	pages        = {124-146},
	series       = {Lecture Notes in Computer Science},
	publisher    = {Springer},
	year         = {2024},
	editor       = {Rayna Dimitrova and Ori Lahav},
	doi          = {10.1007/978-3-031-50524-9_6},
	coreRank     = {Brank},
	acceptanceRate = {40\,\%},
}
