Cabodi, Gianpiero; Lavagno, Luciano; Lazarescu, MIHAI TEODOR; Nocco, Sergio; Passerone, ... (2002) A Symbolic Approach for the Combined Solution of Scheduling and Allocation. In: ISSS'02: ACM/IEEE International Symposium of System Synthesis, Kyoto, Japan, 2-4 ottobre 2002, pp. 237-242. ISBN: 1-58113-576-9 Contributo in Atti di Convegno (Proceeding)