Correct and Efficient Antichain Algorithms for Refinement Checking

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationFORTE
Pages185-203
Number of pages19
DOIs
Publication statusPublished - 2019

Cite this