Using temporal logic for modular specification of telephone services - researchr publication

researchr

You are not signed in
Sign in
Sign up

Johan Blom, Bengt Jonsson, Lars Kempe. Using temporal logic for modular specification of telephone services. In Wiet Bouma, Hugo Velthuijsen, editors, Feature Interactions in Telecommunications Systems, May 8-10, 1994, Amsterdam, The Netherlands. pages 197-216, IOS Press, 1994.

Abstract is missing.

runs on WebDSL