@PhdThesis{ Mahata,
Author = "Mahata, Pritha",
date-added = "2015-04-27 14:03:40 +0000",
date-modified = "2015-04-27 14:04:09 +0000",
School = "Uppsala University",
Title = "Model Checking Parameterized Timed Systems",
Year = "2005",
File = "Model Checking Parameterized Timed Systems - Mahata (0) (0) - a - a - x.pdf"
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A