AUTOGENOUS EUTROPHICATION, ANTHROPOGENIC EUTROPHICATION, AND CLIMATE CHANGE: INSIGHTS FROM THE ANTRIFT RESERVOIR (HESSE, GERMANY)

Autogenous Eutrophication, Anthropogenic Eutrophication, and Climate Change: Insights from the Antrift Reservoir (Hesse, Germany)

Climate change is projected to aggravate water quality impairment and to endanger drinking water supply.The effects of global warming on water quality must be understood better to develop targeted mitigation strategies.We conducted water and sediment analyses in the eutrophicated Antrift catchment (Hesse, Germany) in the click here uncommonly warm

read more

Generating and Solving Symbolic Parity Games

We present a new tool for verification of modal mu-calculus formulae for process specifications, based folk rivet sweat on symbolic parity games.It enhances an existing method, that first encodes the problem to a Parameterised Boolean Equation System (PBES) and then instantiates the PBES to a parity game.We improved the translation from specificati

read more