In: Shifting paradigms in software engineering. Proceedings of the 7th joint conference of the Austrian Computer Society and the John von Neumann Society for Computing Sciences. Klagenfurt, 1992.
Lessons of a first-year use of the automated reasoning tool
A szerkezetanalízis egy matematikai modellje egyensúlyi folyamatok esetén (Working paper of the Laboratory of Operations Research and Decision Systems (LORDS) WP 92-7)