Found: 3
Select item for more details and to access through your institution.
Causality for debugging mobile agents.
- Published in:
- Acta Informatica, 1999, v. 36, n. 5, p. 335, doi. 10.1007/s002360050164
- By:
- Publication type:
- Article
Reasoning with first order nondeterministic specifications.
- Published in:
- Acta Informatica, 1999, v. 36, n. 5, p. 375, doi. 10.1007/s002360050165
- By:
- Publication type:
- Article
Finding the k most vital edges with respect to minimum spanning tree.
- Published in:
- Acta Informatica, 1999, v. 36, n. 5, p. 405, doi. 10.1007/s002360050166
- By:
- Publication type:
- Article