DMCA

Specifying and verifying partial order properties using template MSCs (2004)

by Blaise Genest , Marius Minea , Anca Muscholl , Doron Peled
Venue:In FOSSACS’04, LNCS 2987
Citations:8 - 3 self