Login / Signup

Deriving Invariants and Constraints from Action Theories.

Yan ZhangNorman Y. Foo
Published in: Fundam. Informaticae (1997)
Keyphrases