B-Tropos. Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification., Bryl, V.; Montali, M.; Mello, P.; Torroni, P.; Zannone, N. , 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII), 10/09/2007, Porto, Portugal, (2007)
 Export: Tagged XML BibTex   Download:  bryl-mont-mell-torr-zann-07-CLIMA.pdf