Correct and Efficient Antichain Algorithms for Refinement Checking

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic

Toegang tot document

@article{a3678ff4caee409085b58ed31729fa75,

title = "Correct and Efficient Antichain Algorithms for Refinement Checking",

author = "Maurice Laveaux and Groote, {Jan Friso} and Willemse, {Tim A. C.}",

year = "2019",

language = "English",

volume = "abs/1902.09880",

journal = "CoRR",

issn = "2331-8422",

publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",

}