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