Not registered as user yet

Name:Nikolaj Jensen Ulrik
Country:Denmark
Affiliation:Aalborg University

Contributions

VMCAI 2022 Author of Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking within the VMCAI 2022-track