Ursula Hinkel
Affiliations:- Technical University Munich, Germany
According to our database1,
Ursula Hinkel
authored at least 8 papers
between 1994 and 1999.
Collaborative distances:
Collaborative distances:
Timeline
1994
1995
1996
1997
1998
1999
0
1
2
3
4
5
1
1
4
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
1999
1998
Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL.
PhD thesis, 1998
Formale Entwicklung verteilter reaktiver Systeme mit FOCUS.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998
1997
MSC'96 and beyond - a critical look.
Proceedings of the SDL '97 Time for Testing, 1997
The SDL specification of the sliding window protocol revisited.
Proceedings of the SDL '97 Time for Testing, 1997
Spezifikationsmethodik für mobile, dynamische FOCUS-Netze.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997
Proceedings of the ECOOP'97, 1997
1994
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994