Login / Signup

Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata.

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