tr-announce February 2014

tr-announce@lists.rwth-aachen.de
  • 1 participants
  • 2 discussions

2013-20: Time-Continuous Behaviour Comparison Based on Abstract Models
by Thomas Ströder
10 years, 2 months

2013-14: Automatic Abstraction for Bit-Vectors using Decision Procedures
by Thomas Ströder
10 years, 3 months
Results per page: