|
|
|
Institut für Formale Methoden der Informatik |
|
Publikationen
|
|
|
|
|
- Ausgewählte Veröffentlichungen
(Artikel/Abstract zum Teil online)
- Nach Jahren:
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
- Nach Autoren:
Austinat,
Bertol,
Diekert,
Ebinger,
Göller,
Hertrampf,
Hoffmann,
Kausch,
Kopecki,
Kufleitner,
Laun,
Lauser,
Lohrey,
Miller,
Muscholl,
Nowotka,
Petersen,
Reinhardt,
Walter,
Weiß,
Wich
- Technische Berichte:
FTP-Server: ftp.informatik.uni-stuttgart.de:/pub/techreports/theorie
| |