References

1. doi:10.1109/SEFM.2006.27.
2. doi:10.1007/978-3-642-15643-4_6.
3. doi:10.1145/2038642.2038654.
4. doi:10.1007/978-3-540-85361-9_16.
5. doi:10.1145/2038642.2038663.
6. doi:10.1007/978-3-642-24372-1_12.
7. doi:10.1007/978-3-642-20398-5_34.
8. doi:10.1007/978-3-642-22256-6_11.
9. doi:10.1109/LICS.2005.53.
10. doi:10.1007/978-3-540-30101-1_15.
11. doi:10.1007/978-3-540-69507-3_26.
12. doi:10.1007/978-3-642-24372-1_31.
13. doi:10.1007/978-3-642-22110-1_41.
14. doi:10.1007/3-540-48224-5_33.
15. doi:10.1007/3-540-45694-5_11.
16. doi:10.1007/978-3-540-24597-1_29.
17. doi:10.1109/FSCS.1990.89597.
18. doi:10.1007/978-3-540-75596-8_33.
19. doi:10.1145/253769.253801.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org