@dblp

An efficient algorithm for time separation of events in concurrent systems.

, and . ICCAD, page 180-187. IEEE Computer Society, (2007)

Links and resources

Tags