An Efficient Explicit-time Description Method for Timed Model Checking

Published in: PDMC (2009)

Keyphrases