*Result*: Symbolic verification of PLC safety-applications based on PCLopen automata
*Author/editor-in-chief*:
*Publication*:
Freiburg : Universität, 2016
*Physical description scale*:
Online-Ressource
*Format*:
*Language*:
*eng*
*series_multipart*:
MBMV 2016. 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen" ; 4
*DOI*:
10.6094/UNIFR/10636