Author:
Grieskamp Wolfgang,Lepper Markus
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. H. Boley. A Tight, Practical Integration of Relations and Functions, volume 1712 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1999.
2. Lect Notes Comput Sci;R. Büssow,1997
3. R. Büssow and W. Grieskamp. A Modular Framework for the Integration of Heterogenous Notations and Tools. In K. Araki, A. Galloway, and K. Taguchi, editors, Proc. of the 1st Intl. Conference on Integrated Formal Methods-IFM’99. Springer-Verlag, London, June 1999. 43
4. Z. Chaochen, C. A. R. Hoare, and A. Ravn. A calculus of durations. Information Processing Letters, 40(5), 1991. 46
5. W. Grieskamp. A Set-Based Calculus and its Implementation. PhD thesis, Technische Universität Berlin, 1999. 44