Static Consistency Checking for Distributed Specifications

Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein. Static Consistency Checking for Distributed Specifications. In 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA. pages 115, IEEE Computer Society, 2001. [doi]

Authors

Christian Nentwich

This author has not been identified. Look up 'Christian Nentwich' in Google

Wolfgang Emmerich

This author has not been identified. It may be one of the following persons: Look up 'Wolfgang Emmerich' in Google

Anthony Finkelstein

This author has not been identified. Look up 'Anthony Finkelstein' in Google