References

1. doi:10.1007/978-3-319-46982-9_27.
2. doi:10.1007/978-3-319-21668-3_21.
3. doi:10.4204/EPTCS.174.3.
4. doi:10.1145/227595.227602.
5. doi:10.1007/978-3-642-19835-9_21.
6. doi:10.1109/CDC.2016.7798967.
7. doi:10.1007/978-3-319-24953-7_35.
8. doi:10.1109/EMSOFT.2015.7318257.
9. doi:10.1007/978-3-642-14295-6_17.
10. doi:10.1007/978-3-642-15297-9_9.
11. doi:10.1016/j.tcs.2009.06.021.
12. doi:10.1016/0022-0000(81)90036-2.
13. doi:10.1007/978-3-540-30206-3_12.
14. doi:10.1145/229542.229547.
15. doi:10.1145/2933575.2935317.
16. doi:10.1145/2185632.2185653.
17. doi:10.1109/TIT.2011.2182033.
18. doi:10.1145/2656045.2656061.
19. doi:10.1109/CDC.2013.6760488.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org