Vector Sequence Analysis and Full Weak Safety for Concurrent Systems.

Mahesh Girkar, Robert Moll

Browse the full FCT paper archive.