Causality for debugging mobile agents.
- Published in:
- Acta Informatica, 1999, v. 36, n. 5, p. 335, doi. 10.1007/s002360050164
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 1999 AND VI 36 AND IP 5
Results: 3
1
2
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
3
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