@inbook{Finkel_2023,
    title = {Resilience and Home-Space for WSTS},
    isbn = {9783031505249},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-031-50524-9_7},
    doi = {10.1007/978-3-031-50524-9_7},
    booktitle = {Verification, Model Checking, and Abstract Interpretation},
    publisher = {Springer Nature Switzerland},
    author = {Finkel, Alain and Hilaire, Mathieu},
    year = {2023},
    month = {dec},
    pages = {147–168},
    date-added = {2024-1-30 14:5:29 +0100}
}

@inbook{Finkel_2023, title = {Resilience and Home-Space for WSTS}, isbn = {9783031505249}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-031-50524-9_7}, doi = {10.1007/978-3-031-50524-9_7}, booktitle = {Verification, Model Checking, and Abstract Interpretation}, publisher = {Springer Nature Switzerland}, author = {Finkel, Alain and Hilaire, Mathieu}, year = {2023}, month = {dec}, pages = {147–168}, date-added = {2024-1-30 14:5:29 +0100} }