{"_id":"68rYYZr74NeuQj8H4","bibbaseid":"machado-andrade-neves-novais-analide-formalmodelsinwebbasedcontracting-2006","author_short":["Machado, J.","Andrade, F.","Neves, J.","Novais, P.","Analide, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal Models in Web Based Contracting","author":[{"propositions":[],"lastnames":["Machado"],"firstnames":["José"],"suffixes":[]},{"propositions":[],"lastnames":["Andrade"],"firstnames":["Francisco"],"suffixes":[]},{"propositions":[],"lastnames":["Neves"],"firstnames":["José"],"suffixes":[]},{"propositions":[],"lastnames":["Novais"],"firstnames":["Paulo"],"suffixes":[]},{"propositions":[],"lastnames":["Analide"],"firstnames":["Cesar"],"suffixes":[]}],"booktitle":"2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology Workshops","pages":"548–554","year":"2006","organization":"IEEE","bibtex":"@inproceedings{machado2006formal,\n title={Formal Models in Web Based Contracting},\n author={Machado, Jos{\\'e} and Andrade, Francisco and Neves, Jos{\\'e} and Novais, Paulo and Analide, Cesar},\n booktitle={2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology Workshops},\n pages={548--554},\n year={2006},\n organization={IEEE}\n}\n\n","author_short":["Machado, J.","Andrade, F.","Neves, J.","Novais, P.","Analide, C."],"key":"machado2006formal","id":"machado2006formal","bibbaseid":"machado-andrade-neves-novais-analide-formalmodelsinwebbasedcontracting-2006","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://jmm.di.uminho.pt/wp-content/uploads/2025/06/scholar.bib","dataSources":["8AM3RTP5FSjhY79FT","vEyY22JjsZkW6JeBK"],"keywords":[],"search_terms":["formal","models","web","based","contracting","machado","andrade","neves","novais","analide"],"title":"Formal Models in Web Based Contracting","year":2006}