Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen
By: Armin Biere
Contributors: Universität Karlsruhe
Published: 1997
Language: ger
Number of pages: 230
Notes: Thesis (doctoral)--Universität Karlsruhe, 1997.