Parallel assignments in software model checking (Electronic Notes in Theoretical Computer Science, 2006)

(untitled) - Ouaknine, J