Result: Specification and compositional verification of real time systems

*Title*:

*Author/editor-in-chief*:

Hooman, Jozef

*Publication*:

Berlin [u.a.] : Springer, 1991

*Physical description scale*:

VIII, 235 S.

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 558
*show_all_volumes*

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3540549471 ; 0387549471

*L1_Classifications*:

*Result*: Specification and compositional verification of real time systems