Using Atoms to Simplify Distributed Programs Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami. Using Atoms to Simplify Distributed Programs Checking. In Third IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2007, Columbia, MD, USA, September 25-26, 2007. pages 75-83, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Hon Fung Li' in GoogleThis author has not been identified. Look up 'Eslam Al Maghayreh' in GoogleThis author has not been identified. Look up 'Dhrubajyoti Goswami' in Google

runs on WebDSL