![]() | ![]() |
2005 | ||
---|---|---|
2 | Ariel Stulman, Simon Bloch, H. G. Mendelbaum: Optimal Synchronizing Sequences for Machines with Timing Constraints. ESA 2005: 45-52 | |
1 | Ariel Stulman, Simon Bloch, H. G. Mendelbaum: Remote Agent for Conformance Testing of Timed-Automata. Parallel and Distributed Computing and Networks 2005: 358-363 |
1 | H. G. Mendelbaum | [1] [2] |
2 | Ariel Stulman | [1] [2] |