Searching for authors named "Ursula Hinkel" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Verification of SDL Specifications on the Basis of Stream Semantics
- …Veri cation of SDL Speci cations on the Basis of Stream Semantics Ursula Hinkel Institut fur…
- Cited by 1 (0 self) – Add To MetaCart
-
The SDL Specification of the Sliding Window Protocol Revisited
- … Haubner, Ursula Hinkel b a Siemens AG, PN KE CPT 51, D-81359 Munchen, Christian.Facchi@(email omitted); b…
- Cited by 3 (0 self) – Add To MetaCart
-
MSC'96 and Beyond - a Critical Look
- …MSC'96 and Beyond - a Critical Look Stefan Loidl, Ekkart Rudolph, Ursula Hinkel a a Institut fur…
- Cited by 4 (0 self) – Add To MetaCart
-
Interpreter Verification for a Functional Language
- …Interpreter Verification for a Functional Language Manfred Broy, Ursula Hinkel, Tobias Nipkow…
- Cited by 3 (0 self) – Add To MetaCart
-
Towards a Formalization of the Unified Modeling Language
- …, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, Veronika Thurner ABCDE…
- Cited by 42 (1 self) – Add To MetaCart
-
Interpreter Verification
- …Interpreter Veri cation for a Functional Language Manfred Broy, Ursula Hinkel, Tobias Nipkow…
- Add To MetaCart
-
MSC'96 and Beyond - a Critical Look
- …MSC'96 and Beyond - a Critical Look Stefan Loidl, Ekkart Rudolph, Ursula Hinkel a a Institut fur…
- Add To MetaCart
-
The SDL Specification of the Sliding Window Protocol Revisited
- …, Ursula Hinkel b a Siemens AG, PN KE CPT 51, D-81359 Munchen, Christian.Facchi@(email omitted); b Institut…
- Add To MetaCart
-
The SDL Specification of the Sliding Window Protocol Revisited
- … Christian Facchi, Markus Haubner, Ursula Hinkel ; TUM-I9614 März 1996 TECHNISCHE UNIVERSITÄT MÜNCHEN TUM…
- Add To MetaCart
Showing 1 through 9.
