A Refinement Logic for the Fork Calculus
Publikation: Forskning › Konferenceartikel i proceeding
Standard
A Refinement Logic for the Fork Calculus. / Havelund, K.; Larsen, Kim Guldstrand.
International IFIP Symposium on Protocol Specification, Testing and Verification. 1994.Publikation: Forskning › Konferenceartikel i proceeding
Harvard
Havelund, K & Larsen, KG 1994, 'A Refinement Logic for the Fork Calculus'. i International IFIP Symposium on Protocol Specification, Testing and Verification.
APA
Havelund, K., & Larsen, K. G. (1994). A Refinement Logic for the Fork Calculus. I International IFIP Symposium on Protocol Specification, Testing and Verification.
CBE
Havelund K, Larsen KG. 1994. A Refinement Logic for the Fork Calculus. I International IFIP Symposium on Protocol Specification, Testing and Verification.
MLA
Havelund, K. og Kim GuldstrandLarsen "A Refinement Logic for the Fork Calculus". International IFIP Symposium on Protocol Specification, Testing and Verification. 1994.
Vancouver
Havelund K, Larsen KG. A Refinement Logic for the Fork Calculus. I International IFIP Symposium on Protocol Specification, Testing and Verification. 1994.
Author
Bibtex
@inbook{0f80ce909c2e11db8ed6000ea68e967b,
title = "A Refinement Logic for the Fork Calculus",
author = "K. Havelund and Larsen, {Kim Guldstrand}",
year = "1994",
booktitle = "International IFIP Symposium on Protocol Specification, Testing and Verification",
}
RIS
TY - GEN
T1 - A Refinement Logic for the Fork Calculus
A1 - Havelund,K.
A1 - Larsen,Kim Guldstrand
AU - Havelund,K.
AU - Larsen,Kim Guldstrand
PY - 1994
Y1 - 1994
BT - International IFIP Symposium on Protocol Specification, Testing and Verification
T2 - International IFIP Symposium on Protocol Specification, Testing and Verification
ER -