Models and axioms for a fragment of real time process algebra /

Gardado en:
Detalles Bibliográficos
OCLC:31625529
Autor Principal: Klusener, Anton Stefanus
Autor Corporativo: Technische Universiteit Eindhoven
Idioma:English
Publicado: Netherlands : Technische Universiteit Eindhoven, 1993.
Subjects:
Formato:

Thesis Monograph

Note that CRL will digitize material from the collection when copyright allows.

Borrow this resource

Item List

Descripción Local Call Number Status
P-00458176 Dispoñible