Publikation
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.
@inproceedings{pub7416, author = { Seiter, Julia and Wille, Robert and Kühne, Ulrich and Drechsler, Rolf }, title = {Automatic Refinement Checking for Formal System Models}, booktitle = {Forum on Specification & Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, München, Germany}, year = {2014}, publisher = {o.A.} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023