• Udgivet

  Tool Supported Analysis of Web Services Protocols

  Publikation: Forskning - peer review › Konferenceartikel i proceeding

• Udgivet

  Modelling and Verification of Web Services Business Activity Protocol

  Publikation: Forskning - peer review › Konferenceartikel i proceeding

• Udgivet

  A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL

  Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

Vis alle »

• Springer, 0-387

  Central database

  Forlag

• University of Oslo, 82-91298

  Lokal database

  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

Vis alle »

• Lecture Notes in Computer Science

  ISSNs: 0302-9743

  Springer, Tyskland

  FI (2011): 1, Indekseret i ISI (2011): no, FI (2010): 1, WOS lokal (2010): WOS-Indekseret, FI (2009): 1, WOS lokal (2009): WOS-Indekseret, FI (2008): 1, WOS lokal (2008): WOS-Indekseret, WOS lokal (2007): WOS-Indekseret, WOS lokal (2006): WOS-Indekseret, WOS lokal (2005): WOS-Indekseret, WOS lokal (2004): WOS-Indekseret, WOS lokal (2003): WOS-Indekseret, WOS lokal (2002): WOS-Indekseret

  Central database

  Tidsskrift

Vis alle »