Not registered as user yet

Name:Simon Mejlby Virenfeldt
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