Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems (1997)

Cached

Download Links

by Sven-erik Bornscheuer , Michael Thielscher
Venue:Journal of Logic Programming
Citations:21 - 12 self