Skip to main content
ieee top header menu
IEEE.org
IEEE Xplore Digital Library
IEEE Standards
IEEE Spectrum
More Sites
Anonymous user menu
Cart
Create Account
Sign In
Conferences
SMC 2020
IDEAS 2023
SMC 2021
Education
Workshops
Publications
eNewsletters
Leave this field blank
Search
IEEE SMCS Resource Center
SMCS Home
Equivalences Checking
Showing 1 - 1 of 1 resources. Too many results? Use the search filters to refine your search.
Leave this field blank
Go
Sort by
Newest
Newest
Oldest
Sort by: Relevance
Title (A-Z)
Title (Z-A)
17 Oct 2021
New Symbolic Model and Equivalences Checking for Open Automata
SMCS
Members:
Free
IEEE Members:
$11.00
Non-members:
$15.00
