Subjects: Theorem proving; decision procedure; satisfiability modulo theorie
تفاصيل العنوان
Subjects: Process-Aware Information System; Temporal Constraint; Process Modularity