A decision diagram operation for reachability

Author(s):: Brand, S.O.; Bäck, T.H.W.; Laarman, A.W.

Editor(s):: Chechik, M.; Katoen, J.P.; Leucker, M.

Published: 2023
Publication type: Article in monograph or in proceedings

Date issued: 2023
Language: English
Publisher: Cham: Springer
Is part of: Lecture Notes in Computer Science (2023), Pt. 14000, p. 514-532
ISBN source: 9783031274800
hdl: 1887/3715032
doi: 10.1007/978-3-031-27481-7_29