scientific article; zbMATH DE number 1836378

zbMath1012.68108MaRDI QIDQ4782053

Stefan Kowalewski, Heinz Treseler, Nanette Bauer

Publication date: 24 April 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

programmable logic controllers

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: