- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technical Reports ; TR-1996-014
- Klassifikation
-
Informatik
- Schlagwort
-
Reaktives System
- Ereignis
-
Veröffentlichung
- (wo)
-
Mannheim
- (wer)
-
Universitätsbibliothek Mannheim
- (wann)
-
1996
- Urheber
- URN
-
urn:nbn:de:bsz:180-madoc-7989
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:46 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Benjes, Friederike
- Universitätsbibliothek Mannheim
Entstanden
- 1996
Ähnliche Objekte (12)
Towards Automated Refinement of TLM Properties to RTL
Some properties of rhyme
Some simple properties of divisibility.
One some geometrical properties of suns
Some Surprising Properties of Power Indices
Some properties of matrix partial orderings
Some asymptotic properties of stochastic flows
On some properties of the paraboloids.
Some physical properties of radium emanation.
On some properties of the parabola.
Rule based refinement for place, transition systems: preserving liveness properties
Some properties of the equations of hydrodynamics.
Towards Automated Refinement of TLM Properties to RTL
Some properties of rhyme
Some simple properties of divisibility.
One some geometrical properties of suns
Some Surprising Properties of Power Indices
Some properties of matrix partial orderings
Some asymptotic properties of stochastic flows
On some properties of the paraboloids.
Some physical properties of radium emanation.
On some properties of the parabola.
Rule based refinement for place, transition systems: preserving liveness properties
Some properties of the equations of hydrodynamics.
Towards Automated Refinement of TLM Properties to RTL
Some properties of rhyme
Some simple properties of divisibility.
One some geometrical properties of suns
Some Surprising Properties of Power Indices
Some properties of matrix partial orderings
Some asymptotic properties of stochastic flows
On some properties of the paraboloids.
Some physical properties of radium emanation.
On some properties of the parabola.
Rule based refinement for place, transition systems: preserving liveness properties