@inproceedings{c9452cc64d5840df9c81249b784e52ed,
title = "A method for the formal representation of the boolean conditions of orchestrated services",
author = "C. Popescu and \{Martinez Lastra\}, \{J. L.\}",
note = "Contribution: organisation=tte,FACT1=1",
year = "2008",
doi = "10.1109/WAINA.2008.249",
language = "English",
isbn = "978-0-7695-3096-3",
pages = "1410--1415",
booktitle = "Proceedings of 22nd International Conference on Advanced Information Networking and Applications - Workshops, 25-28 March, 2008, Okinawa, Japan",
}