der Meulen. Industrial applications of asf+sdf (1996)

by M van den Brand, A van Deursen, P Klint, S Klusener, E A van
Venue:AMAST ’96, volume 1101 of Lecture Notes in Computer Science