The binary relation |$r$| is a simulation from |$M_{UDS}$| to |$M_{UDS\mbox{-}CA}$|.
Sign In or Create an Account
This PDF is available to Subscribers Only
For full access to this pdf, sign in to an existing account, or purchase an annual subscription.