Hybrid and Real-Time Systemsde Oded MalerEdiciones (1)Hybrid and Real-Time Systems (1997)Springer · inglés · ISBN 9783540626008Más obras de Oded MalerHybrid systemsComputer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 ProceedingsHHybrid Systems BiologyHybrid Systems Biology
Computer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 Proceedings