Publikation
Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski
In: Electronic Communications of the EASST, 2012.
@article{pub6637, author = { Codescu, Mihai and Langenstein, Bruno and Maeder, Christian and Mossakowski, Till }, title = {The VSE Refinement Method in Hets}, year = {2012}, journal = {Electronic Communications of the EASST} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023