This volume contains a selection of papers presented at the second European workshop EUROCAST '91, held in Krems, Austria, in April 1991. It gives an overview o

The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EURO

The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler of Linz in the late 80’s to include those computer theoretical and practica