Automatic Refinement of Split Binary Semaphore.

Damin Barsotti, Javier O. Blanco

Browse the full ICTAC paper archive.