Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen
Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen
Armin Biere
Details
OL Work ID
OL42006749W
Find this book
Open Library