Cristin-resultat-ID: 221060
Sist endret: 6. september 2007, 21:47
Resultat
Vitenskapelig foredrag
2007

Formalizing Collaboration-Oriented Service Specifications using Temporal Logic

Bidragsytere:
  • Frank Alexander Kraemer og
  • Peter Michael Herrmann

Presentasjon

Navn på arrangementet: Networking and Electronic Commerce Research Conference
Sted: Lake Garda
Dato fra: 18. oktober 2007
Dato til: 21. oktober 2007

Om resultatet

Vitenskapelig foredrag
Publiseringsår: 2007

Beskrivelse Beskrivelse

Tittel

Formalizing Collaboration-Oriented Service Specifications using Temporal Logic

Bidragsytere

Frank Alexander Krämer

Bidragsyterens navn vises på dette resultatet som Frank Alexander Kraemer
  • Tilknyttet:
    Forfatter
    ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
Aktiv cristin-person

Peter Micael Herrmann

Bidragsyterens navn vises på dette resultatet som Peter Michael Herrmann
  • Tilknyttet:
    Forfatter
    ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
1 - 2 av 2