European Educational Forum (EEF)

Lectures on Formal Methods and Performance Analysis 2000

- view
  - table of contents in DBLP
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eef/2000
- ask others
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

- view
  - table of contents in DBLP
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eef/1996
- ask others
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 ]