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

Download