Tima Cnrs Inpg Ujf

• System Synthesis, 8th International Symposium on Isss '95