Model synthesis using boolean expression diagrams

Liu Yang, Antoine Rauzy. Model synthesis using boolean expression diagrams. Rel. Eng. & Sys. Safety, 186:78-87, 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.