![](/img/cover-not-exists.png)
[IEEE Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MBD-MOMPES'06) - Potsdam, Germany (30-30 March 2006)] Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MBD-MOMPES'06) - Modelling and verification of BPEL business processes
Mongiello, M., Castelluccia, D.Year:
2006
Language:
english
DOI:
10.1109/mbd-mompes.2006.22
File:
PDF, 189 KB
english, 2006