Amalgamation in Casl via enriched signatures (2001)

by Till Mossakowski , Andrzej Tarlecki
Venue:International Colloquium on Automata, Languages and Programming, LNCS
Citations:1 - 1 self