Beyer, Dirk
ORCID: https://orcid.org/0000-0003-4832-7662; Friedberger, Karlheinz ORCID: https://orcid.org/0000-0001-7624-654X and Holzner, Stephan
(2021):
PJBDD: A BDD Library for Java and Multi-Threading.
In: Hou, Zhe and Ganesh, Vijay (eds.) :
Automated Technology for Verification and Analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Lecture Notes in Computer Science (LNCS), Vol. 12971. Cham: Springer. pp. 144-149
| Item Type: | Book Section |
|---|---|
| Faculties: | Mathematics, Computer Science and Statistics > Computer Science |
| Subjects: | 000 Computer science, information and general works > 004 Data processing computer science |
| ISBN: | 978-3-030-88885-5 ; 978-3-030-88884-8 |
| ISSN: | 0302-9743 |
| Place of Publication: | Cham |
| Language: | English |
| Item ID: | 94684 |
| Date Deposited: | 17. Feb 2023, 08:39 |
| Last Modified: | 17. Feb 2023, 08:39 |
Actions (login required)
- View Item
