AMAST Workshop on Real Time Systems (1 : 1993 : Iowa City, Iowa) AMAST = Algebraic methodology and software technology Bezüge im Wissensnetz Veranstaltungsort (1) GND Iowa City, Iowa