Petrify: a tool for manipulating concurrent specifications and . . .

by Jordi Cortadella, et al.
Citations:165 - 29 self