Hugo A. López
Models for Trustworthy Service and Process Oriented Systems
ICLP, 2010.
@inproceedings{ICLP-2010-Lopez10, author = "Hugo A. López", booktitle = "{Technical Communications of the 26th International Conference on Logic Programming}", doi = "10.4230/LIPIcs.ICLP.2010.270", isbn = "978-3-939897-17-0", pages = "270--276", publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}", series = "{Leibniz International Proceedings in Informatics}", title = "{Models for Trustworthy Service and Process Oriented Systems}", volume = 7, year = 2010, }