References

1. doi:10.1109/TSE.2008.106.
2. doi:10.1007/3-540-45061-0_79.
3. doi:10.1007/s001820050111.
4. doi:10.1016/j.entcs.2009.02.002.
5. doi:10.4230/LIPIcs.CSL.2011.144.
6. doi:10.1007/978-3-642-22012-8_30.
7. doi:10.1006/inco.2001.2962.
8. doi:10.1016/j.tcs.2003.09.013.
9. doi:10.1109/QEST.2008.42.
10. doi:10.1016/S1567-8326(02)00068-1.
11. doi:10.1016/S0304-3975(99)00035-3.
12. doi:10.1145/174652.174658.
13. doi:10.1007/s00224-009-9201-y.
14. doi:10.1007/11603009_18.
15. doi:10.1007/BFb0039071.
16. doi:10.1016/0022-0000(85)90012-1.
17. doi:10.1016/0890-5401(91)90030-6.
18. doi:10.1016/j.entcs.2004.02.036.
19. doi:10.1016/j.jlap.2010.07.010.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org