• Line-up

  • Referenced in 9 articles [sw18417]
  • Line-up: A complete and automatic linearizability checker...
  • TREX

  • Referenced in 19 articles [sw37675]
  • TREX Tree Regular Expressions for XML. TREX has...