@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",
}