Contact Us
You can send a message to: Kornelia Rulf
Your reference page: Paper: Slice or Unfold – Experiments on Checking Synchronous Models with Backward Slicing
You can send a message to: Kornelia Rulf
Your reference page: Paper: Slice or Unfold – Experiments on Checking Synchronous Models with Backward Slicing
Last Modification: 23.08.2023 - Contact Person:
Webmaster