bibtex

@article{HIR+9,
    title = { {Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems} },
    author = {Holik, Lukas and Iosif, Radu and Rogalewicz, A and Vojnar, T},
    year = {2019},
    journal = {{Formal Methods in System Design}},
    publisher = {{Springer Verlag}},
    team = {RSD},
    pdf = {https://hal.archives-ouvertes.fr/hal-02388322/file/trace-inclusion-revisions-2.pdf}, hal_id = {hal-02388322}, hal_version = {v1},
}

URL

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.1.12 + AHUNTSIC [CC License]

info visites 1627164