01
Verification of Communication Protocols in Web Services Model-Checking Service Compositions
The earliest high-confidence catalog date in this author overview is 2013.
Author
Peter Bertok
2 cataloged contributions
2013–2014 across 2 high-confidence dated works
This record does not have a biography yet.
Know something we should add or correct? Suggest a correction.
A way in
Start with
A considered starting point for reading Peter Bertok, drawn from catalog context and salon activity when available.
02
Verification Of Communication Protocols In Web Services Modelchecking Service Compositions
A clearly attributed work with a supported 2014 catalog date.
The catalog
Bibliography
2 works
Core ranking is using the catalog’s provisional quality order while the versioned ranking population is prepared.
5 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0