Login / Signup

Reasoning about real-time statecharts in the presence of semantic variations.

Subash ShankarSinan AsaVladimir SiposXiaowei Xu
Published in: ASE (2005)
Keyphrases