Verification of Self-Synchronizing Alternating Bit Protocols with ARA

A. Puhakka; A. Valmari

Verification of Self-Synchronizing Alternating Bit Protocols with ARA

A. Puhakka
, A. Valmari

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific

Translated title of the contribution	Verification of Self-Synchronizing Alternating Bit Protocols with ARA
Original language	English
Title of host publication	Proceedings of the Fifth Symposium on Programming Languages and Software Tools, June 7-8, 1997, Jyväskylä, Finland
Editors	J. Paakki
Place of Publication	Helsinki
Publisher	Yliopistopaino
Pages	167-178
Publication status	Published - 1997
Publication type	B3 Article in conference proceedings

Publication forum classification

No publication forum level

Cite this

@inproceedings{a868384726b6468395a6ae5310af9183,

title = "Verification of Self-Synchronizing Alternating Bit Protocols with ARA",

author = "A. Puhakka and A. Valmari",

note = "University of Helsinki, Department of Computer Science, Series of Publications C, Report C 1997-37<br/>Contribution: organisation=ohj,FACT1=1",

year = "1997",

language = "English",

pages = "167--178",

editor = "J. Paakki",

booktitle = "Proceedings of the Fifth Symposium on Programming Languages and Software Tools, June 7-8, 1997, Jyv{\"a}skyl{\"a}, Finland",

publisher = "Yliopistopaino",

}

Verification of Self-Synchronizing Alternating Bit Protocols with ARA. / Puhakka, A.; Valmari, A.
Proceedings of the Fifth Symposium on Programming Languages and Software Tools, June 7-8, 1997, Jyväskylä, Finland. ed. / J. Paakki. Helsinki: Yliopistopaino, 1997. p. 167-178.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific

TY - GEN

T1 - Verification of Self-Synchronizing Alternating Bit Protocols with ARA

AU - Puhakka, A.

AU - Valmari, A.

N1 - University of Helsinki, Department of Computer Science, Series of Publications C, Report C 1997-37<br/>Contribution: organisation=ohj,FACT1=1

PY - 1997

Y1 - 1997

M3 - Conference contribution

SP - 167

EP - 178

BT - Proceedings of the Fifth Symposium on Programming Languages and Software Tools, June 7-8, 1997, Jyväskylä, Finland

A2 - Paakki, J.

PB - Yliopistopaino

CY - Helsinki

ER -