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
Education
Member Resources
Publications
Leave this field blank
Search
IEEE Resource Center
IEEE.org
Eric Madelaine
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
