Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige 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