Chapter 5. Techniques (Englisch)
Nationallizenz
- Neue Suche nach: Hailpern, Brent T.
- Neue Suche nach: Hailpern, Brent T.
In:
Verifying Concurrent Processes Using Temporal Logic
;
36-69
;
1982
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Chapter 5. Techniques
-
Beteiligte:Hailpern, Brent T. ( Autor:in )
-
Erschienen in:Lecture Notes in Computer Science ; 129 ; 36-69
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.1982
-
Format / Umfang:34 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
IntroductionHailpern, Brent T. et al. | 1982
- 3
-
Programming environmentHailpern, Brent T. et al. | 1982
- 15
-
VerificationHailpern, Brent T. et al. | 1982
- 27
-
Temporal logicHailpern, Brent T. et al. | 1982
- 36
-
Chapter 5. TechniquesHailpern, Brent T. et al. | 1982
- 70
-
Network protocolsHailpern, Brent T. et al. | 1982
- 157
-
Resource allocationHailpern, Brent T. et al. | 1982
- 183
-
ConclusionHailpern, Brent T. et al. | 1982