Login / Signup

Decomposing Verification of Timed I/O Automata.

Dilsun Kirli KaynarNancy A. Lynch
Published in: FORMATS/FTRTFT (2004)
Keyphrases