Simplification of numeric variables for PLC model checking.

Ignacio D. Lopez-Miguel, Borja Fernndez Adiego, Jean-Charles Tournier, Enrique Blanco Viuela, Juan A. Rodrguez-Aguilar

Browse the full MEMOCODE paper archive.