Compositional minimization of finite state processes

Providence, RI / American Mathematical Society (1990) [Beitrag zu einem Tagungsband]

Proc. Int. Workshop on Comput.-Aided Verification 90. New Jersey (USA) 1990
Seite(n): 57-73

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Graf, S.
Steffen, B.

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-190945