h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Mroß, Robin
%A Schnakenbeck, Aron
%A Völker, Marcus
%A Fay, Alexander
%A Kowalewski, Stefan
%T Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model
%J IEEE access
%V 10
%@ 2169-3536
%C New York, NY
%I IEEE
%M RWTH-2023-00543
%P 125652-125665
%D 2022
%F PUB:(DE-HGF)16
%9 Journal Article
%U <Go to ISI:>//WOS:000894786600001
%R 10.1109/ACCESS.2022.3225736
%U https://publications.rwth-aachen.de/record/862557