Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Model Elimination with Simplification and its Application to Software Verification

Publikationstyp: Buch

Autoren

Schäfer, D. (Autor)
Baumgartner, P. (Autor)

Klassifikation

DDC Sachgruppe:
Allgemeines, Wissenschaft