Binary%20Decision%20Diagrams%20and%20Symbolic%20Model%20Checking
https://www.powershow.com/viewht/1c4fcf-ZDc1Z/Binary_20Decision_20Diagrams_20and_20Symbolic_20Model_20Checking_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
