Login / Signup

Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets.

Wojciech PenczekAgata Pólrola
Published in: ICATPN (2001)
Keyphrases