Login / Signup

Model-checking fair dense-time systems with propositions and events.

Farn Wang
Published in: Int. J. Softw. Tools Technol. Transf. (2015)
Keyphrases