Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch

Publications Search - Details

Publication type: Article in Proceedings
Author: B. Buth, J. Peleska, H. Shi
Editor: A. M. Haeberer
Title: Combining Methods for the Livelock Analysis of a Fault-Tolerant System
Book / Collection title: Algebraic Methodology and Software Technology. Proceedings of the AMAST'98
Page(s): 124 – 139
Series: Lecture Notes in Computer Science
Number: 1548
Year published: 1998
Publisher: Springer-Verlag, D-69121 Heidelberg, Germany
PostScript Version: http://www.informatik.uni-bremen.de/~shi/papers/AMAST98.ps.gz
Keywords: CSP, pault tolerant system, livelock
Status: Reviewed
Last updated: 03. 09. 2004

 Back to result list
Author: Automatically generated page
  Group BKB 
Last updated: February 23, 2006   impressum