Suad Alagic, Mark Royer, David Briggs. Verification Technology for Object-Oriented/XML Transactions. In Moira C. Norrie, Michael Grossniklaus, editors, Object Databases, Second International Conference, ICOODB 2009, Zurich, Switzerland, July 1-3, 2009. Revised Papers. Volume 5936 of Lecture Notes in Computer Science, pages 23-40, Springer, 2009. [doi]
Abstract is missing.