European Educational Forum (EEF)
Lectures on Formal Methods and Performance Analysis 2000
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (Eds.): Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures. Springer 2001 Lecture Notes in Computer Science 2090 ISBN 3-540-42479-2 [ contents ]
Lectures on Embedded Systems 1996
Grzegorz Rozenberg, Frits W. Vaandrager (Eds.): Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996. Springer 1998 Lecture Notes in Computer Science 1494 ISBN 3-540-65193-4 [ contents ]



