Skip to main content

Translating Timed Automata to Tock−CSP

M. Khattri‚ A.W. Roscoe and J. Ouaknine

Book Title
Parallel and Distributed Computing and Networks/720: Software Engineering
Organisation
ACTA Press
Year
2011