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

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