© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Automating support for e-business contracts
P. F. Linington
In Zoran Milosevic and Guido Governatori, editors, Contract Architectures and Languages workshop (CoALa2004), pages 182-196, Monterey, California, USA, September 2004. IEEE Digital Library. Download publication 79 kbytes (PDF)Bibtex Record
@inproceedings{1980,
author = {P. F. Linington},
title = {Automating Support for e-Business Contracts},
month = {September},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/1980},
publication_type = {inproceedings},
submission_id = {14037_1096885049},
booktitle = {Contract Architectures and Languages workshop (CoALa2004)},
editor = {Zoran Milosevic and Guido Governatori},
address = {Monterey, California, USA},
publisher = {IEEE Digital Library},
refereed = {yes},
}