Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Alberto Lluch-Lafuente

Partial Order Reduction in Directed Model Checking

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Partial-Order Reduction and Trail Improvement in Directed Model Checking

International Journal on Software Tools for Technology Transfer

Information Systems

English