A Refinement Logic for the Fork Calculus

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

OriginalsprogEngelsk
TitelInternational IFIP Symposium on Protocol Specification, Testing and Verification
Publikationsdato1994
StatusUdgivet - 1994
BegivenhedA Refinement Logic for the Fork Calculus -
Varighed: 19 maj 2010 → …

Konference

KonferenceA Refinement Logic for the Fork Calculus
Periode19/05/2010 → …

Bibliografisk note

ISSN ; -

Citer dette

Havelund, K., & Larsen, K. G. (1994). A Refinement Logic for the Fork Calculus. I International IFIP Symposium on Protocol Specification, Testing and Verification
Havelund, K. ; Larsen, Kim Guldstrand. / A Refinement Logic for the Fork Calculus. International IFIP Symposium on Protocol Specification, Testing and Verification. 1994.
@inproceedings{0f80ce909c2e11db8ed6000ea68e967b,
title = "A Refinement Logic for the Fork Calculus",
author = "K. Havelund and Larsen, {Kim Guldstrand}",
note = "ISSN ; -",
year = "1994",
language = "English",
booktitle = "International IFIP Symposium on Protocol Specification, Testing and Verification",

}

Havelund, K & Larsen, KG 1994, A Refinement Logic for the Fork Calculus. i International IFIP Symposium on Protocol Specification, Testing and Verification. A Refinement Logic for the Fork Calculus, 19/05/2010.

A Refinement Logic for the Fork Calculus. / Havelund, K.; Larsen, Kim Guldstrand.

International IFIP Symposium on Protocol Specification, Testing and Verification. 1994.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

TY - GEN

T1 - A Refinement Logic for the Fork Calculus

AU - Havelund, K.

AU - Larsen, Kim Guldstrand

N1 - ISSN ; -

PY - 1994

Y1 - 1994

M3 - Article in proceeding

BT - International IFIP Symposium on Protocol Specification, Testing and Verification

ER -

Havelund K, Larsen KG. A Refinement Logic for the Fork Calculus. I International IFIP Symposium on Protocol Specification, Testing and Verification. 1994