Branching bisimulation as a strong bisimulation:
Saved in:
Bibliographic Details
Main Author: Bouali, Amar (Author)
Format: Book
Language:Undetermined
Published: Amsterdam Centrum voor Wiskunde en Informatica 1994
Physical Description:14 S. graph. Darst.

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!