iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/conf/cdc/Vecchio07.xml
Domitilla Del Vecchio Partial order techniques for the analysis and synthesis of hybrid and embedded systems. 156-170 2007 CDC https://doi.org/10.1109/CDC.2007.4435053 conf/cdc/2007 db/conf/cdc/cdc2007.html#Vecchio07