Katharina Spies
According to our database1,
Katharina Spies
authored at least 7 papers
between 1994 and 2000.
Collaborative distances:
Collaborative distances:
Timeline
1994
1995
1996
1997
1998
1999
2000
0
1
2
3
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2000
10 Years Focus - Lessons learned.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000
1998
Formale Entwicklung verteilter reaktiver Systeme mit FOCUS.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998
1997
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997
Spezifikationsmethodik für mobile, dynamische FOCUS-Netze.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997
1996
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996
1994
Proceedings of the Formal Systems Specification, 1994