| Originele taal-2 | Engels |
|---|---|
| Titel | FORTE |
| Pagina's | 185-203 |
| Aantal pagina's | 19 |
| DOI's | |
| Status | Gepubliceerd - 2019 |
Citeer dit
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Correct and Efficient Antichain Algorithms for Refinement Checking
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review