TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

Große, Gerd (1997):
State event logic.
Aachen: Shaker, 1997. II, 148 S.,
Aachen, Shaker, TU Darmstadt, [Ph.D. Thesis]

Große, Gerd (1996):
SEdit - graphically validating technical systems.
1085In: Practical reasoning: Proceedings of the International Conference on Formal and Applied Practical Reasoning (FAPR'96). Hrsg.: D. M. Gabbay (u.a.) S. 345-348, Berlin (u.a.): Springer, 1996,
Berlin (u.a.), Springer, [Conference or Workshop Item]

This list was generated on Fri Sep 25 11:59:08 2020 CEST.