Options
1996
Journal Article
Titel
Verification and Behavior Abstraction
Titel Supplements
Towards a Tractable Verification Technique for Large Distributed Systems