tr-announce April 2007

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

2007-6: Verifying Concurrent List-Manipulating Programs by LTL Model Checking
by Peter Schneider-Kamp
17 years, 1 month
Results per page: