B-Tropos. Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification.
Posted September 23rd, 2009 by troposadmin
in
| Publication Type | Conference Paper | |
| Year of Publication | 2007 | |
| Authors | Bryl, V.; Montali, M.; Mello, P.; Torroni, P.; Zannone, N. | |
| Conference Name | 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII) | |
| Conference Start Date | 10/09/2007 | |
| Conference Location | Porto, Portugal | |
| Export | Tagged XML BibTex |
| Attachment | Size |
|---|---|
| bryl-mont-mell-torr-zann-07-CLIMA.pdf | 518.4 KB |
