Generalised Verification of the Observer Property in Discrete Event Systems
Article in IFAC-PapersOnLine (January 2012)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in IFAC-PapersOnLine (January 2012)