References

1. doi:10.1007/978-3-319-43144-4_4.
2. .
3. doi:10.1007/978-3-319-19458-5_2.
4. doi:10.1109/SCAM.2016.18.
5. Available at http://www.univ-orleans.fr/lifo/prodsci/rapports/RR/RR2017/RR-2017-03.pdf.
6. doi:10.1109/ASE.2013.6693139.
7. Available at http://hal.archives-ouvertes.fr/tel-00974977/.
8. doi:10.1007/978-3-319-08867-9_39.
9. doi:10.1007/s00165-014-0326-7.
10. doi:10.1007/978-3-642-38916-0_10.
11. doi:10.1007/978-3-540-70545-1_7.
12. doi:10.1109/TC.1979.1675439.
13. doi:10.1007/s10817-009-9155-4.
14. doi:10.1007/978-3-319-46520-3_12.
15. doi:10.1007/978-3-540-49020-3_13.
16. doi:10.1145/360051.360224.
17. doi:10.1145/996841.996845.
18. doi:10.1007/978-3-662-46681-0_52.
19. doi:10.1109/FMCAD.2016.7886679.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org