|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Buchbeitrag
Anzahl der Publikationen: 1
Buchbeitrag
Beyer, Dirk 
ORCID: https://orcid.org/0000-0003-4832-7662; Friedberger, Karlheinz ORCID: https://orcid.org/0000-0001-7624-654X und Holzner, Stephan
(2021):
PJBDD: A BDD Library for Java and Multi-Threading.
In: Hou, Zhe und Ganesh, Vijay (Hrsg.):
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), Bd. 12971. Cham: Springer. S. 144-149
ORCID: https://orcid.org/0000-0003-4832-7662; Friedberger, Karlheinz ORCID: https://orcid.org/0000-0001-7624-654X und Holzner, Stephan
(2021):
PJBDD: A BDD Library for Java and Multi-Threading.
In: Hou, Zhe und Ganesh, Vijay (Hrsg.):
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), Bd. 12971. Cham: Springer. S. 144-149