Search
Now showing items 1-4 of 4
Role of baroclinic currents in bottom salty water formation in the Arkona basin
Publisher: IEEE
Year: 2014
Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata
Publisher: IEEE
Year: 2014