TY - CONF T1 - Consistency of partial process specifications JO - ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY PY - 1999/01/01 AU - Steen M AU - Derrick J AU - Boiten E AU - Bowman H ED - Haeberer AM VL - 1548 SP - 248 EP - 262 Y2 - 2024/12/22 ER -