@dblp

A Semantic Unit for Timed Automata Based Modeling Languages.

, , and . IEEE Real Time Technology and Applications Symposium, page 347-360. IEEE Computer Society, (2006)

Links and resources

Tags