Citing BPjs¶
If you use BPjs in an academic work, please consider citing it as follows:
Bar-Sinai M., Weiss G. (2021) Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs. In: Margaria T., Steffen B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends. ISoLA 2020. Lecture Notes in Computer Science, vol 12479. Springer, Cham. https://doi.org/10.1007/978-3-030-83723-5_14
BibTex¶
@InProceedings{bpjs-liveness,
author="Bar-Sinai, Michael
and Weiss, Gera",
editor="Margaria, Tiziana
and Steffen, Bernhard",
title="Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs",
booktitle="Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends",
year="2021",
publisher="Springer International Publishing",
address="Cham",
pages="199--215",
isbn="978-3-030-83723-5",
doi="10.1007/978-3-030-83723-5_14",
url="https://doi.org/10.1007/978-3-030-83723-5_14"
}