Refinement in the Presence of Unknowns
Under a Creative Commons license
open access
Keywords
Partial transition systems
simulation
three-valued logic
completions
Cited by (0)
- 1
This work was partially funded by the German Research Council DFG under grant WE 2290/6-1.
Copyright © 2008 Elsevier B.V.