Declarative Specification and Alignment Verification of Services in ITIL

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]

@inproceedings{RychkovaRW08-1,
  title = {Declarative Specification and Alignment Verification of Services in ITIL},
  author = {Irina Rychkova and Gil Regev and Alain Wegmann},
  year = {2008},
  doi = {10.1109/EDOCW.2008.28},
  url = {http://doi.ieeecomputersociety.org/10.1109/EDOCW.2008.28},
  researchr = {https://researchr.org/publication/RychkovaRW08-1},
  cites = {0},
  citedby = {0},
  pages = {127-134},
  booktitle = {Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, ECOCW 2008, 16 September 2008, Munich, Germany},
  editor = {Marten van Sinderen and João Paulo A. Almeida and Luís Ferreira Pires and Maarten Steen},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3720-7},
}