Statische Analysetechniken für speicherprogrammierbare Steuerungen

Sébastien Bornot, Ralf Huuck, Ben Lukoschus. Statische Analysetechniken für speicherprogrammierbare Steuerungen. In Jens Grabowski, Stefan Heymer, editors, Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000. pages 175-181, Verlag Shaker, 2000.

Abstract

Abstract is missing.