Suche

From Sequential Algebra to Kleene Algebra: Interval Modalities and Duration Calculus

P. Höfner

2005-05
Technical Report, Institute of Computer Science, University of Augsburg, March 2005


Downloads: