Frank Vahid. Procedure exlining: a transformation for improved system and behavioral synthesis. In Pierre G. Paulin, Farhad Mavaddat, editors, Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), September 13-15, 1995, Cannes, France. pages 84-89, ACM, 1995. [doi]
Abstract is missing.