A Refinement Logic for the Fork Calculus

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

Originalsprog	Engelsk
Titel	International IFIP Symposium on Protocol Specification, Testing and Verification
Publikationsdato	1994
Status	Udgivet - 1994
Begivenhed	A Refinement Logic for the Fork Calculus - Varighed: 19 maj 2010 → …

Konference	A Refinement Logic for the Fork Calculus
Periode	19/05/2010 → …

ISSN ; -

AUB Link

@inproceedings{0f80ce909c2e11db8ed6000ea68e967b,

title = "A Refinement Logic for the Fork Calculus",

author = "K. Havelund and Larsen, {Kim Guldstrand}",

note = "ISSN ; - ; A Refinement Logic for the Fork Calculus ; Conference date: 19-05-2010",

year = "1994",

language = "English",

booktitle = "International IFIP Symposium on Protocol Specification, Testing and Verification",

}