Partial list of contents of
Fundamenta Informaticae
Volume 30 (1997)
Published by IOS Press
- j-fi-30-109
- Yan Zhang, Norman Y. Foo:
Deriving Invariants and Constraints from Action Theories.
Fundamenta Informaticae,
Vol. 30 (1997), No 1, pp. 109-123.
29-Jul-97 16:44