Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems

From International Center for Computational Logic

Toggle side column

Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems

Sven-Erik BornscheuerSven-Erik Bornscheuer,  Michael ThielscherMichael Thielscher
Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems


Sven-Erik Bornscheuer, Michael Thielscher
Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems
JPL, 31(1--3):115-119, 1997
@article{BT1997,
  author  = {Sven-Erik Bornscheuer and Michael Thielscher},
  title   = {Explicit and Implicit Indeterminism: Reasoning about uncertain and
             contradictory specifications of dynamic systems},
  journal = {JPL},
  volume  = {31},
  number  = {1--3},
  year    = {1997},
  pages   = {115-119}
}