Result: Automatic verification of sequential infinite state processes

*Title*:

*Author/editor-in-chief*:

Burkart, Olaf

*Publication*:

Berlin [u.a.] : Springer, 1997

*Physical description scale*:

X, 163 S. : graph. Darst.

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 1354
*show_all_volumes*

*Dissertation note*:

Zugl.:Aachen, Techn. Hochsch., Diss., 1995

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3540639829

*Result*: Automatic verification of sequential infinite state processes