Publikationer
(6)- Udgivet
Model-Checking Web Services Business Activity Protocols
Publikation: Forskning - peer review › Tidsskriftartikel
- Udgivet
Formal Analyses of Web Service Protocols
Publikation: Forskning › PhD. afhandling
- Udgivet
Modelling and Verification of Web Services Business Activity Protocol
Publikation: Forskning - peer review › Konferenceartikel i tidsskrift
Mest anvendte tidsskrifter
Lecture Notes in Computer Science
ISSNs: 0302-9743, 0302-8743, 1865-0929
Springer, Tyskland
Central database
Tidsskrift: Bogserie
International Journal on Software Tools for Technology Transfer
ISSNs: 1433-2779, 0945-8115
Springer, Tyskland
Central database
Tidsskrift
Mest anvendte forlag
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
Lokal database
Forlag
Seneste aktiviteter og konferencer
Indlæser lokationer...
ID: 17168469