Wolfgang Schuetzelhofer, Karl M. Göschka
Formal Specification and Verification of XML-Based Business Domain Models
ICEIS, 2004.
@inproceedings{ICEIS-v3-2004-SchuetzelhoferG, author = "Wolfgang Schuetzelhofer and Karl M. Göschka", booktitle = "{Proceedings of the Sixth International Conference on Enterprise Information Systems, Volume 3}", pages = "209--216", title = "{Formal Specification and Verification of XML-Based Business Domain Models}", year = 2004, }