New Symbolic Model and Equivalences Checking for Open Automata Eric Madelaine DOI 10.17023/wpab-6768 SMCS Members: Free IEEE Members: $11.00 Non-members: $15.00 Length: 00:14:45 17 Oct 2021 Tags: IEEE smcs video smcs 2021 New Symbolic Model Equivalences Checking Open Automata Eric Madelaine
17 Oct 2021 Tags: IEEE smcs video smcs 2021 New Symbolic Model Equivalences Checking Open Automata Eric Madelaine