References

1. doi:10.1109/QEST.2010.31.
2. doi:10.4204/EPTCS.6.5.
3. doi:10.1016/j.tcs.2009.02.037.
4. doi:10.1038/35002125.
5. doi:10.1016/j.entcs.2008.10.004.
6. doi:10.1007/978-3-642-04081-8_21.
7. doi:10.1109/QEST.2005.12.
8. doi:10.1109/CDC.2005.1583138.
9. doi:10.1007/b106766.
10. doi:10.1109/TSE.2010.82.
11. doi:10.1023/A:1008387132533.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org