From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach. From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis. In Daniel Kroening, Corina S. Pasareanu, editors, Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II. Volume 9207 of Lecture Notes in Computer Science, pages 180-197, Springer, 2015. [doi]

This author has not been identified. Look up 'Pavol Cerný' in GoogleThis author has not been identified. Look up 'Edmund M. Clarke' in GoogleThis author has not been identified. Look up 'Thomas A. Henzinger' in GoogleThis author has not been identified. Look up 'Arjun Radhakrishna' in GoogleThis author has not been identified. Look up 'Leonid Ryzhyk' in GoogleThis author has not been identified. It may be one of the following persons:

Roopsha Samanta

Look up 'Roopsha Samanta' in GoogleThis author has not been identified. Look up 'Thorsten Tarrach' in Google

runs on WebDSL