Jirí Hrebícek, Jan Kohout. Formalized Analysis Supporting Automated Scenarios for Environmental Risk Assessment. In Jirí Hrebícek, Jaroslav Rácek, editors, Networking Environmental Information: Proceedings of the 19th International Conference for Environmental Protection, EnviroInfo 2005, Brno, Czech Republic, September 7-9, 2005. pages 989-990, Masaryk University Brno, 2005. [doi]
Abstract is missing.