Hakan Erdogmus
Hakan Erdogmus.
Architecture-Driven Verification of Concurrent Systems.
Nordic Journal of Computing
, 4(4):380-413, Winter 1997.
Abstract, References, etc.
Shortcuts:
Nordic Journal of Computing homepage
Bibliography top level
Nordic Journal of Computing Author Index
Search the HBP database