@misc{Mayr_Habilitation_2002,
author = {Richard Mayr},
title = {On Verification Problems for Systems with Infinite State Spaces},
date = {2002},
date-added = {2024-1-15 7:51:38 +0100}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A