Stefano Di Gennaro (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

Selection of 2 from 5 records - Stefano Di Gennaro has 4 coauthors

2		Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli: Optimal Control Using Bisimulations: Implementation. HSCC 2001: 175-188
1		Mireille E. Broucke, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Stefano Di Gennaro: Theory of Optimal Control Using Bisimulations. HSCC 2000: 89-102