@phdthesis{Govind_PhD_2021,
    author = {Govind Rajanbabu},
    title = {PARTIAL ORDER REDUCTION FOR TIMED SYSTEMS},
    year = {2021},
    date-added = {2025-3-9 16:43:42 +0100}
}

@phdthesis{Govind_PhD_2021, author = {Govind Rajanbabu}, title = {PARTIAL ORDER REDUCTION FOR TIMED SYSTEMS}, year = {2021}, date-added = {2025-3-9 16:43:42 +0100} }