Testing concurrent systems: An interpretation of intuitionistic logic

Cached

Download Links

by Radha Jagadeesan , Gopalan Nadathur , Vijay Saraswat
Citations:14 - 1 self