Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammenby Armin BiereWriting a summary for young readers…For young readersBook data: Open Library