✦ LIBER ✦

Relational concurrent refinement part III: traces, partial relations and automata

✍ Scribed by John Derrick, Eerke Boiten

Book ID: 120739864
Publisher: Springer
Year: 2012
Tongue: English
Weight: 362 KB
Volume: 26
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-012-0262-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Relational concurrent refinement part II

Relational concurrent refinement part II: Internal operations and outputs

✍ Eerke Boiten; John Derrick; Gerhard Schellhorn 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 460 KB

The effect of mining and related activit

The effect of mining and related activities on the sediment–trace element geochemistry of Lake Coeur d'Alene, Idaho, USA. Part III. Downstream effects: the Spokane River Basin

✍ Cecile A. Grosbois; Dr. Arthur J. Horowitz; James J. Smith; Kent A. Elrick 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 400 KB

## Abstract During 1998/1999, surface and subsurface sediment samples were collected along the entire length of the Spokane River from its outlet at the northern end of Lake Coeur d'Alene (CDA), Idaho, to Lake Roosevelt on the Columbia River, Washington. The study was conducted to determine if the