EEMCS EPrints Service
|
||||||||||||||||
|
Number of items: 1. 2003
Dijkman, R.M. and Andrade Almeida, J.P. and Quartel, D.A.C.
(2003)
Verifying the correctness of component-based applications that support business processes.
In: Sixth ICSE Workshop on Component-Based Software Engineering (CBSE 2003), 3-4 May 2003, Portland, OR, USA.
pp. 43-48.
Carnegie Mellon University.
ISBN not assigned
This list was generated on Thu May 24 08:37:59 CEST 2012. |
||||||||||||||||