Verifying Solutions to the Dining Philosophers Problem with Activity-Oriented Petri Nets
Conference proceeding (December 2014)
The most recent citing publication is shown below. View this citation on Dimensions.
Conference proceeding (December 2014)