Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude.

Published in: FTSCS (2013)

Keyphrases