|
|
|
Institute of Formal Methods in Computer Science |
|
SZS - Publications
|
|
|
|
|
Publications of the group by year
- To appear (5)
- 2007 (6),
2006 (29),
2005 (26),
2004 (36),
2003 (31),
2002 (12),
2001 (11),
2000 (11)
- 1999 (9),
1998 (7),
1997 (7),
1996 (9),
1995 (7),
1994 (5),
1993 (3),
1992 (3),
1991 (6),
1990 (3)
Publications of the group by type
Publications by author
- Esparza, Javier
- Heindel, Tobias
- Heljanko, Keijo
- Kiefer, Stefan
- Kozioura, Vitali
- König, Barbara
- Luttenberger, Michael
- Nowotka, Dirk
- Schröter, Claus
- Schwoon, Stefan
- Stefanescu, Alin
- Suwimonteerabuth, Dejvuth
Projects
|
|
|