Foundational and Practical Aspects of Resource Analysis: ...
Preview
93 Rody Kersten, Paolo Parisen Toldin, Bernard van Gastel, and Marko van
Eekelen Reasoning About Resources in the Embedded Systems Language
Hume . . . . 110 Hans-Wolfgang Loidl and Gudmund Grov On Paths-Based
Criteria for ...