Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking
Article in The Computer Journal (December 2016)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Article in The Computer Journal (December 2016)
Article in Security and Communication Networks (February 2015)
Article in Acta Informatica (April 1995)