Registered user since Tue 27 Oct 2020

Name:Jiri Srba
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