Irina Rychkova, Gil Regev, Alain Wegmann. Declarative Specification and Alignment Verification of Services in ITIL. In Marten van Sinderen, João Paulo A. Almeida, Luís Ferreira Pires, Maarten Steen, editors, Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, ECOCW 2008, 16 September 2008, Munich, Germany. pages 127-134, IEEE Computer Society, 2008. [doi]
Abstract is missing.