Publikation

Automatic Refinement Checking for Formal System Models

Julia Seiter; Robert Wille; Ulrich Kühne; Rolf Drechsler

In: Forum on Specification & Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, München, Germany, o.A. , 2014.

Zusammenfassung

o.A.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence