@PhdThesis{ radhakrishnaquantitative,
Author = "Radhakrishna, Arjun",
date-added = "2015-10-01 12:44:59 +0000",
date-modified = "2015-10-01 13:07:22 +0000",
Keywords = "simulation distances",
School = "Institute of Science and Technology Austria, Klosterneuburg, Austria",
Title = "Quantitative Specifications for Verification and Synthesis",
Year = "2014",
File = "Quantitative Specifications for Verification and Synthesis - Radhakrishna (0) (0) - a - a - d.pdf"
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A