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

by Jordi Cortadella, et al.
Citations:185 - 33 self