Specifying and Verifying Partial Order Properties Using Template MSCs.

Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled

Browse the full FOSSACS paper archive.