![](/img/cover-not-exists.png)
[IEEE 2008 The Second International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM) - Valencia, Spain (2008.09.29-2008.10.4)] 2008 The Second International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies - A Model of Scope for Verification of Implementation of Choreography with Exception Handler Using UPPAAL
Sagara, Lingesh, Chaudhary, B. D.Year:
2008
Language:
english
DOI:
10.1109/ubicomm.2008.43
File:
PDF, 269 KB
english, 2008