Universität Bremen  
  FB 3  
  AG BKB > Publikationen > Suche > Deutsch
English
 

Suche nach Veröffentlichungen - Detailansicht

 
Art der Veröffentlichung: Artikel in Konferenzband
Autor: B. Buth, J. Peleska, H. Shi
Herausgeber: A. M. Haeberer
Titel: Combining Methods for the Livelock Analysis of a Fault-Tolerant System
Buch / Sammlungs-Titel: Algebraic Methodology and Software Technology. Proceedings of the AMAST'98
Seite(n): 124 – 139
Serie / Reihe: Lecture Notes in Computer Science
Ausgabe: 1548
Erscheinungsjahr: 1998
Verleger: Springer-Verlag, D-69121 Heidelberg, Germany
PostScript Version: http://www.informatik.uni-bremen.de/~shi/papers/AMAST98.ps.gz
Schlagworte: CSP, pault tolerant system, livelock
Status: Reviewed
Letzte Aktualisierung: 03. 09. 2004

 Zurück zum Suchergebnis
 
   
Autor: Automatisch generierte Seite
 
  AG BKB 
Zuletzt geändert am: 9. Mai 2023   impressum