Method and Case Study of Model Checking Concurrent Systems That Use Unbounded Timestamps.

Shinya Nakano, Tatsuhiro Tsuchiya

Browse the full PRDC paper archive.