Suchergebnisse - Schmidt, Heinz-Wilhelm
- Treffer 1 – 7 von 7
-
1Über ein abweichendes Verhalten der Ulcuskranken bei AlkalibelastungVeröffentlicht 1940Signatur: Wird geladen …
Standort: Wird geladen …Hochschulschrift/Dissertation Buch Wird geladen … -
2Spezification and correct implementation of non-sequential systems combining abstract data types and Petri netsVeröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Hochschulschrift/Dissertation Buch Wird geladen … -
3The SEGRAS Specification Language: conceptual overviewVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4The SEGRAS SyntaxVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5Some algebraic Concepts of a Petri-net based specification language and their initial semanticsVeröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6Specification and correct implementation of non-sequential systems combining abstarct data types and petri netsVeröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7Towards a net-theoretic notion of type based on predicate-transition netsVeröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …