Computer aided systems theory--EUROCAST '95 a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995 : proceedings / - Pichler, Franz,; Moreno-Díaz, Roberto.; Albrecht, R. F. (Lecture notes in computer science ;)