References

  1. doi:10.1109/32.256850.
  2. doi:10.1007/3-540-60472-3_1.
  3. doi:10.1145/963778.963782.
  4. doi:10.1016/0169-7552(89)90078-0.
  5. doi:10.1109/FMCAD.2009.5351139.
  6. doi:10.1145/571637.571640.
  7. doi:10.1007/BF01843566.
  8. doi:10.1109/ACSD.2010.26.
  9. doi:10.1007/s10009-008-0083-0.
  10. doi:10.1007/3-540-48153-2_12.
  11. doi:10.4230/LIPIcs.FSTTCS.2011.399.
  12. doi:10.1145/1755913.1755950.
  13. doi:10.1007/s10703-009-0084-y.
  14. doi:10.1137/0217058.
  15. doi:10.1016/0022-0000(81)90039-8.
  16. doi:10.1007/s10009-004-0146-9.
  17. doi:10.1145/1658357.1658358.
  18. doi:10.1007/BF00289237.
  19. doi:10.1145/1095810.1095817.
  20. doi:10.1145/75277.75293.
  21. doi:10.1007/BFb0035790.
  22. doi:10.1109/2.58235.
  23. doi:10.1007/3-540-55092-5_13.
  24. doi:10.1007/978-3-540-71410-1_10.
  25. doi:10.1007/3-540-58715-2_121.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org