Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bozga, M., Fernandez, JC., Kerbrat, A. et al. Protocol verification with the ALDÉBARAN toolset . STTT 1, 166–183 (1997). https://doi.org/10.1007/s100090050012
Published:
Issue Date:
DOI: https://doi.org/10.1007/s100090050012