History Abstractions of a Sequential Memory Component.

Walter Dosch, Annette Stmpel

Browse the full CATA paper archive.