Modeling and Verifying Active XML Artifacts

Serge Abiteboul, Luc Segoufin, Victor Vianu. Modeling and Verifying Active XML Artifacts. IEEE Data Eng. Bull., 32(3):10-15, 2009. [doi]

Authors

Serge Abiteboul

This author has not been identified. Look up 'Serge Abiteboul' in Google

Luc Segoufin

This author has not been identified. Look up 'Luc Segoufin' in Google

Victor Vianu

This author has not been identified. Look up 'Victor Vianu' in Google