Disambiguation of industrial standards through formalization and graphical languages.

Daniel Dietsch, Sergio Feo-Arenis, Bernd Westphal, Andreas Podelski

Browse the full RE paper archive.