@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}
}

@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} }