Publications
(6)- Published
Model-Checking Web Services Business Activity Protocols
Publication: Research - peer-review › Journal article
- Published
Formal Analyses of Web Service Protocols
Publication: Research › Ph.d. thesis
- Published
Modelling and Verification of Web Services Business Activity Protocol
Publication: Research - peer-review › Conference article in Journal
Most frequent journals
Lecture Notes in Computer Science
ISSNs: 0302-9743, 0302-8743, 1865-0929
Springer, Germany
Central database
Journal: Book series
International Journal on Software Tools for Technology Transfer
ISSNs: 1433-2779, 0945-8115
Springer, Germany
Central database
Journal
Most frequent publishers
Technical University of Denmark, 978-87-91435, 87-90288, 978-87-90288, 87-989117, 87-7877, 87-7740, 978-87-92180, 978-87-90855, 87-89502, 87-7748, 978-87-7877
Local database
Publisher
Latest activities and conferences
Loading map data...
ID: 17168469