Login / Signup

Deciding Properties of Timed Transition Models.

Jonathan S. Ostroff
Published in: IEEE Trans. Parallel Distributed Syst. (1990)
Keyphrases