Karim Khordoc

Learn More
Specifications containing linear timing constraints, such as found in action diagrams (timing diagrams) defining interface behaviors, are often used in practice. Although efficient <italic>O(n<supscrpt>3</supscrpt>)</italic> shortest path algorithms exist for computing the minimum and maximum time distances between actions, subject to the timing(More)
  • 1