Not registered as user yet

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

Contributions

VMCAI 2022 Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking
Show activities from other conferences

POPL 2022-profile
View general profile