"Conflict Detection in Call Control Using First-Order Logic Model Checking."

Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turner (2007)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2008-05-20