next up previous
Next: Bibliography Up: Automatic Model Refinement for Previous: Conclusion

Acknowledgement

Special thanks to Kai Lingemann and Kai Pervölz for supporting our work and to the unknown reviewers for their hints and suggestions.


root 2003-08-06