1996
Doctoral Thesis
Titel

Verification of Co-Operating Systems and Behaviour Abstraction
ThesisNote
Frankfurt, Univ., Diss., 1996
Author(s)
Nitsche, U.
Verlagsort
Frankfurt
Thumbnail Image
Language
English