Verifying Implicitly Quantified Modal Logic over Dynamic Networks of Processes.

Anantha Padmanabha, R. Ramanujam

Browse the full ICDCIT paper archive.